КОСОВСКАЯ, Т.; КОСОВСКИЙ, Н. Полиномиальный тезис Чёрча для рефал-5-функций, нормальных алгоритмов и их обобщений. Computer Tools in Education, n. 5, 22 Jan. 2014.