Косовский, Н. К. Доказательства принадлежности рефал-5 функций некоторым подклассам FP-SPACE. CTE 2014.