Introduction to Combinators and λ-Calculus (Cambridge (1986)

by J R Hindley, J P Seldin