Barendregt, H. P. (1984). The lambda calculus: Its syntax and semantics (Rev. ed.). North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Παραπομπή σε μορφή Chicago (17η εκδ.)Barendregt, H. P. The Lambda Calculus: Its Syntax and Semantics. Rev. ed. Amsterdam : New York : New York, N.Y.: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.
Παραπομπή σε μορφή MLA (9th εκδ.)Barendregt, H. P. The Lambda Calculus: Its Syntax and Semantics. Rev. ed. North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.