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