КОСОВСКИЙ, Н. К. Доказательства принадлежности рефал-5 функций некоторым подклассам FP-SPACE. Computer Tools in Education, n. 3, 23 Jan. 2014.