Θεωρία υπολογιστικών μηχανών - Μητακίδης, Γιώργος (Πανεπιστήμιο Πατρών, 1980)