Βασική θεωρία υπολογισιμότητας : μηχανές Turing, αναδρομικές συναρτήσεις, αλγοριθμική ανεπιλυσιμότητα - Χαρτώνας, Χ. (Ζήτης, 2001)