Αυτόματη επαλήθευση παραλλήλων συστημάτων Συγκριτική μελέτη βασικών θεωρητικών εργαλείων καί αλγορίθμων. Διπλωματική εργασία. - Γαροφαλάκης, Μίνως (Τμημα Η/Υ. Πτυχιακές Εργασίες., 1992)