Т. Косовская and Н. Косовский, “Полиномиальный тезис Чёрча для рефал-5-функций, нормальных алгоритмов и их обобщений”, CTE, no. 5, Jan. 2014.