An Introduction to Functional Programming through Lambda Calculus - Michaelson, Greg ((Dover Books on Mathematics))