Introduction to combinators and (lambda)-calculus - Hindley, J. Roger (Cambridge University Press, 1990)