Στεφανέας, Π. Σ. (2001). Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών. [χ.ό.].
Παραπομπή σε μορφή Chicago (17η εκδ.)Στεφανέας, Πέτρος Σ. Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών. Αθήνα: [χ.ό.], 2001.
Παραπομπή σε μορφή MLA (8th εκδ.)Στεφανέας, Πέτρος Σ. Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών. [χ.ό.], 2001.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.