Lambda-Calculus, Combinators and Functional Programming (1988)

by G E Révész