Δασκαλοπούλου, Α., Κωνσταντίνου, Β. S., & Τσακαλίδης, Α. (1991). Loves:A logical verification system: Διπλωματική εργασία. The Polytechnic of Central London Τμημα Η/Υ. Πτυχιακές Εργασίες.
Παραπομπή σε μορφή Chicago (17η εκδ.)Δασκαλοπούλου, Ασπασία-Καλλιόπη, Βασίλης Supervisor Κωνσταντίνου, και Αθανάσιος Τσακαλίδης. Loves:A Logical Verification System: Διπλωματική εργασία. London: The Polytechnic of Central London Τμημα Η/Υ. Πτυχιακές Εργασίες, 1991.
Παραπομπή σε μορφή MLA (8th εκδ.)Δασκαλοπούλου, Ασπασία-Καλλιόπη, et al. Loves:A Logical Verification System: Διπλωματική εργασία. The Polytechnic of Central London Τμημα Η/Υ. Πτυχιακές Εργασίες, 1991.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.