Introduction to Combinators and -Calculus (1986)

by J Roger Hindley, Jonathan P Seldin