Introduction to functional programming through Lambda calculus - Michaelson, Greg (Wokingham, England Addison-Wesley, 1989)
Keywords: Functional Programming (Computer Science); Lambda Calculus