Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών - Στεφανέας, Πέτρος Σ. ([χ.ό.], 2001)
Διδακτορική διατριβή