Подходы к теории обобщенной вычислимости И.В. Ашаев; В.Я. Беляев; А.Г. Мясников — 1993 Algebra i Logika