Е 804
      Ершов,Ю. Л.
      Проблемы разрешимости и конструктивные модели Ю. Л. Ершов — М. Наука 1980 — 415 с.