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