Oitavem, I. 1997. «New recursive characterizations of the elementary functions and the functions computable in polynomial space». Revista Matemática Complutense 10, nº 1:: 109. https://doi.org/10.5209/rev_REMA.1997.v10.n1.17500