"Introduction to combinatory logic."

J. Roger Hindley, Rasmus Lerdorf, Jonathan P. Seldin (1972)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics