2011. Тезис Чёрча для полиномиальных по времени рекурсивных алгоритмов над словами и их длинами. Компьютерные инструменты в образовании. 1 (фев. 2011).