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