Στατικός έλεγχος της συμπεριφοράς προγραμμάτωνως μέσο εντοπισμού ιομορφικού λογισμικού : - Κροντηράς, Γιώργος (Πανεπιστήμιο Αιγαίου, Τμήμα Μαθηματικών, 1995)