Introduction to combinatory logic - Hindley, J. Roger (1972)