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