"Абстрактная вычислимость в функциональных системах" для Пятой всесоюзной конференции по проблемам теоретической кибернетики.