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