Introduction to combinatory logic - Hindley, J. Roger (London Mathematical Society. Lecture note series, 1972)