Introduction to combinatory logic (1972)

by J B Hindley, B Lercher, J P Seldin