Introduction to Lambda Calculus by [Barendregt et. al.]
Why Functional Programming Matters by [Hughes John]
Copyright (c) 1-bit-better