КОСОВСКИЙ, Н. Тезис Чёрча для полиномиальных по времени рекурсивных алгоритмов над словами и их длинами. Computer Tools in Education, n. 1, 22 Jan. 2014.