“PROOFS OF REFAL-5 FUNCTION BELONGING TO SOME SUBCLASSES OF FP-SPACE” (2013) Computer Tools in Education [Preprint], (3). Available at: http://cte.eltech.ru/ojs/index.php/kio/article/view/1345 (Accessed: 24 October 2026).