Theoretical Aspects of Object-Oriented Programming Types, Semantics,and Language Design - Gunter, Carl A.; Mitchell, John C. (Massachusetts Institute of Technology Cambridge Mass., 1994)
βιβλιογραφια ανα κεφαλαιο Διατμηματικο προγραμμα μεταπτυχιακων σπουδων Μαθηματικα των υπολογιστων και αποφασεων