APA-Zitierstil (7. Ausg.)

Barendregt, H. P. (1985). The lambda calculus: Its syntax and semantics (Rev. ed., 2. print.). North-Holland.

Chicago-Zitierstil (17. Ausg.)

Barendregt, Hendrik P. The Lambda Calculus: Its Syntax and Semantics. Rev. ed., 2. print. Amsterdam [u.a.]: North-Holland, 1985.

MLA-Zitierstil (9. Ausg.)

Barendregt, Hendrik P. The Lambda Calculus: Its Syntax and Semantics. Rev. ed., 2. print. North-Holland, 1985.