Introduction to Combinatory Logic and Lambda Calculus (1986)

by J Roger Hindley, Jonathan P Seldin