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