Машины Тьюринга и рекурсивные функции: научное издание - Эббинхауз, Г. -Д (Современная математика. Популярная серия, 1972)