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