An Introduction to Functional Programming Through Lambda Calculus. - Michaelson, Greg (Dover Publications, 2011)