“Тезис Чёрча для полиномиальных по времени рекурсивных алгоритмов над словами и их длинами”, Comput. Tools Educ., no. 1, Feb. 2011, Accessed: Nov. 11, 2026. Available: http://cte.eltech.ru/ojs/index.php/kio/article/view/1248