“Тезис Чёрча для полиномиальных по времени рекурсивных алгоритмов над словами и их длинами” (2014) Computer Tools in Education [Preprint], (1). Available at: http://cte.eltech.ru/ojs/index.php/kio/article/view/1248 (Accessed: 9 September 2026).