Σταμάτης, Δημοσθένης, Οι νέες αρχές στην αρχιτεκτονική και τις γλώσσες προγραμματισμού των ηλεκτρονικών υπολογιστών - Λογικός προγραμματισμός, 131-139, 1984,