Μοντέλα προγραμματισμού, τυπικές γλώσσες, θεωρία προγραμματισμού - Ζάχος, Ευστάθιος ([Εθνικό Μετσόβιο Πολυτεχνείο], 1995)