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