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