Foundations for Programming Languages - Mitchell, John C. (Massachusetts Institute of Technology Cambridge Mass., 1996)
bibliography: pp. 817-836 Διατμηματικο προγραμμα μεταπτυχιακων σπουδων Μαθηματικα των υπολογιστων και αποφάσεων
Τα αντίτυπα 4559γ, 4559δ, 4559ε ανήκουν στο ΤΜΗΥΠ