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