Introduction to combinators and λcalculus (1986)

by J Roger Hindley, Jonathan P Seldin