Γαροφαλάκης, Γιάννης,Μπούρας, Χρήστος,Σπυράκης, Παύλος,Ταμπακάς, Βασίλης,Τριανταφύλλου, Βασίλης, Το SETLMON εργαλείο για τον έλεγχο της γλώσσας SETL, 640-652, 1988,