Теория рекурсивных функций и эффективная вычислимость - Роджерс Х. (Мир, 1972)