Косовский, Н. К. “Доказательства принадлежности рефал-5 функций некоторым подклассам FP-SPACE”. Computer Tools in Education, no. 3, Jan. 2014, http://cte.eltech.ru/ojs/index.php/kio/article/view/1345.