Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών - Στεφανέας, Πέτρος Σ