Loves:A logical verification system Διπλωματική εργασία. - Δασκαλοπούλου, Ασπασία-Καλλιόπη (The Polytechnic of Central London Τμημα Η/Υ. Πτυχιακές Εργασίες., 1991)