Introduction to combinators and (lambda)-calculus - Hindley, J. Roger (London mathematical society student texts, 1990)