https://bookem.ir/books/1632133-Practical-Aspects-Of-Declarative-Languages