Εισαγωγή στη θεωρία υπολογισμού - Sipser, Michael (Πανεπιστημιακές Εκδόσεις Κρήτης, 2007)