https://bookem.ir/books/3558773-An-Introduction-to-Functional-Programming-Through-Lambda-Calculus