«Доказательства принадлежности рефал-5 функций некоторым подклассам FP-SPACE» (2014) Компьютерные инструменты в образовании [Preprint], (3). доступно на: http://cte.eltech.ru/ojs/index.php/kio/article/view/1345 (просмотрено: 8 сентябрь 2026).