Косовская, Т. and Косовский, Н. 2014. Полиномиальный тезис Чёрча для рефал-5-функций, нормальных алгоритмов и их обобщений. Computer Tools in Education. 5 (Jan. 2014).