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