An introduction to functional programming through lambda calculus - Michaelson, Greg (Wokingham Addison-Wesley, 1989)
Keywords: Functional programming (Computer science); Lambda calculus