Παραπομπή σε μορφή APA (7η εκδ.)

Ματσούκας, Σ., & Τσακαλίδης, Α. (1994). Προσθήκη βιβλιοθήκης στρατηγικών ελέγχου σε ένα γενικευμένο αποδείκτη θεωρημάτων: Διπλωματική εργασία. Τμημα Η/Υ. Πτυχιακές Εργασίες.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Ματσούκας, Σπύρος, και Αθανάσιος Τσακαλίδης. Προσθήκη βιβλιοθήκης στρατηγικών ελέγχου σε ένα γενικευμένο αποδείκτη θεωρημάτων: Διπλωματική εργασία. Πάτρα: Τμημα Η/Υ. Πτυχιακές Εργασίες, 1994.

Παραπομπή σε μορφή MLA (8th εκδ.)

Ματσούκας, Σπύρος, και Αθανάσιος Τσακαλίδης. Προσθήκη βιβλιοθήκης στρατηγικών ελέγχου σε ένα γενικευμένο αποδείκτη θεωρημάτων: Διπλωματική εργασία. Τμημα Η/Υ. Πτυχιακές Εργασίες, 1994.