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