Lambda-calculus, combinators, and functional programming
Révész, György E.
Cambridge Cambridge University Press
1988
Lambda calculus.