Косовский, Н. Тезис Чёрча для полиномиальных по времени рекурсивных алгоритмов над словами и их длинами. CTE 2014.