Introduction to Combinators and the -calculus. Cambeidge (1986)

by J R Hindley, J P Seldin