Introduction to Combinators and λ-calculus - Hindley, J. Roger (London Mathematical Society student texts ;, 1993)