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