Introduction to Combinatory Logic and Lambda Calculus (1986)

by Roger Hindley, Jonathan P Seldin