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