Introduction to combinators and λ -calculus (1986)

by J P Seldin, J Hindley