Вып. 156 : Структурные алгоритмические свойства вычислимости; Вычислительные системы (1996, 1996)