Μηχανές Turing και υπολογίσιμες συναρτήσεις - Μανούβελος, Κωνσταντίνος ([χ.ο.], 2002)