АНИСОВ, А. М. Абстрактная вычислимость и язык программирования авт. Логические исследования, v. 3, p. 233-256, 1 ноя. 1995.