Χαρτώνας, Χ. (2001). Θεμελίωση & σημασιολογία γλωσσών προγραμματισμού: λογισμοί λ. εκδόσεις Ζήτη.
Παραπομπή σε μορφή Chicago (17η εκδ.)Χαρτώνας, Χ. Θεμελίωση & σημασιολογία γλωσσών προγραμματισμού: λογισμοί λ. Θεσσαλονίκη: εκδόσεις Ζήτη, 2001.
Παραπομπή σε μορφή MLA (8th εκδ.)Χαρτώνας, Χ. Θεμελίωση & σημασιολογία γλωσσών προγραμματισμού: λογισμοί λ. εκδόσεις Ζήτη, 2001.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.