“Доказательства принадлежности рефал-5 функций некоторым подклассам FP-SPACE” (2014) Computer Tools in Education [Preprint], (3). Available at: http://cte.eltech.ru/ojs/index.php/kio/article/view/1345 (Accessed: 8 September 2026).