«Полиномиальный тезис Чёрча для рефал-5-функций, нормальных алгоритмов и их обобщений» (2014) Компьютерные инструменты в образовании [Preprint], (5). доступно на: http://cte.eltech.ru/ojs/index.php/kio/article/view/1233 (просмотрено: 9 сентябрь 2026).