Θεμελίωση & σημασιολογία γλωσσών προγραμματισμού : λογισμοί λ - Χαρτώνας, Χ. (εκδόσεις Ζήτη, 2001)