Barendregt, H. P. (1984). The lambda calculus: Its syntax and semantics (Rev. ed.). Elsevier.
Παραπομπή σε μορφή Chicago (17η εκδ.)Barendregt, H. P. The Lambda Calculus: Its Syntax and Semantics. Rev. ed. Amsterdam: Elsevier, 1984.
Παραπομπή σε μορφή MLA (8th εκδ.)Barendregt, H. P. The Lambda Calculus: Its Syntax and Semantics. Rev. ed. Elsevier, 1984.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.