Косовский, Н. 2014. Тезис Чёрча для полиномиальных по времени рекурсивных алгоритмов над словами и их длинами. Computer Tools in Education. 1 (Jan. 2014).