https://bookem.ir/books/2490191-Trends-in-Functional-Programming-Volume-3