@inproceedings{1039602,
    title = "Το SETLMON εργαλείο για τον έλεγχο της γλώσσας SETL",
    author = "Γαροφαλάκης, Γιάννης and Μπούρας, Χρήστος and Σπυράκης, Παύλος and Ταμπακάς, Βασίλης and Τριανταφύλλου, Βασίλης",
    year = "1988",
    pages = "640-652",
    booktitle = "2ο Πανελλήνιο Συνέδριο Πληροφορικής. Τεχνολογικό περιβάλλον για σύγχρονες εφαρμογές. (Τόμος 2)"
}