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