Barendregt, H. P. (2004). The Lambda calculus: Its syntax and semantics. Elsevier.
Chicago-Zitierstil (17. Ausg.)Barendregt, H. P. The Lambda Calculus: Its Syntax and Semantics. Amsterdam [u.a.]: Elsevier, 2004.
MLA-Zitierstil (9. Ausg.)Barendregt, H. P. The Lambda Calculus: Its Syntax and Semantics. Elsevier, 2004.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.