Εισαγωγή στη θεωρία υπολογισμού - Sipser, Michael. (Πανεπιστημιακή Βιβλιοθήκη Θετικών Επιστημών. Επιστήμη Υπολογιστών., 2007)