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