Lambda-Calculus Combinators and Functional Programming (1988)

by G Revesz