Jones, Neil D., and Steven S. Muchnick. 1976. “The Complexity of Finite Memory Programs With Recursion”. DAIMI Report Series 5 (68). https://doi.org/10.7146/dpb.v5i68.6486.