Στεφανέας, Π. Σ. Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών.
Παραπομπή Chicago StyleΣτεφανέας, Πέτρος Σ. Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών.
Παραπομπή MLAΣτεφανέας, Πέτρος Σ. Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.