М 382
      Машины Тьюринга и рекурсивные функции пер. с нем. Г. Д. Эббинхауз [и др.] — М. Мир 1972 — 264 с.: черт.