2013. PROOFS OF REFAL-5 FUNCTION BELONGING TO SOME SUBCLASSES OF FP-SPACE. Computer Tools in Education. 3 (Jun. 2013).