Χαρτώνας, Χ. (2001). Βασική θεωρία υπολογισιμότητας: μηχανές Turing, αναδρομικές συναρτήσεις, αλγοριθμική ανεπιλυσιμότητα. Ζήτης.
Παραπομπή σε μορφή Chicago (17η εκδ.)Χαρτώνας, Χ. Βασική θεωρία υπολογισιμότητας: μηχανές Turing, αναδρομικές συναρτήσεις, αλγοριθμική ανεπιλυσιμότητα. Θεσσαλονίκη: Ζήτης, 2001.
Παραπομπή σε μορφή MLA (8th εκδ.)Χαρτώνας, Χ. Βασική θεωρία υπολογισιμότητας: μηχανές Turing, αναδρομικές συναρτήσεις, αλγοριθμική ανεπιλυσιμότητα. Ζήτης, 2001.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.