2014. Доказательства принадлежности рефал-5 функций некоторым подклассам FP-SPACE. Computer Tools in Education. 3 (Jan. 2014).