Semantics of Programming Languages - Tennent, R. D. (Prentice Hall, 1991)
bibliography: pp. 221-232 Διατμηματικο Προγραμμα μεταπτυχιακων σπουδων Μαθηματικα των υπολογιστων και αποφάσεων