Lambda-Calculus And Combinators by Hindley, J. Roger Hindley & Jonathan P. Seldin