Jones, N. D., and S. S. Muchnick. “The Complexity of Finite Memory Programs With Recursion”. DAIMI Report Series, vol. 5, no. 68, Dec. 1976, doi:10.7146/dpb.v5i68.6486.