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