Lambda-calculus, combinators, and functional programming - Revesz, G E (1989)