Lambda-Calculus and Combinators (2008)

by J R Hindley, J P Seldin