An Introduction to Combinators and the (lambda)-calculus - Hindley, J. Roger, 1939- (London Mathematical Society student texts ;, 1986)