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