An Introduction To Functional Programming Through Lambda Calculus door Greg Michaelson