2014. Доказательства принадлежности рефал-5 функций некоторым подклассам FP-SPACE. Компьютерные инструменты в образовании. 3 (янв. 2014).