αρχείο Email: Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών /