- "Εισαγωγή στη Θεωρία Υπολογισμού", M. Sipser, Πανεπιστημιακές Εκδόσεις Κρήτης, 2007.
- "Στοιχεία Θεωρίας Υπολογισμού", H. R. Lewis, Χ. Παπαδημητρίου, Εκδόσεις Κριτική, 2005.
- "Αυτόματα και Τυπικές Γραμματικές", Ε. Ζάχος, 2008.
- "Υπολογισιμότητα και Πολυπλοκότητα", Ε. Ζάχος, 2004.
Τα δύο πρώτα βιβλία υπάρχουν στη βιβλιοθήκη του Τμήματος.