“PROOFS OF REFAL-5 FUNCTION BELONGING TO SOME SUBCLASSES OF FP-SPACE”, Comput. Tools Educ., no. 3, Jun. 2013, Accessed: Oct. 24, 2026. Available: http://cte.eltech.ru/ojs/index.php/kio/article/view/1345