Jones, N. D., & Muchnick, S. S. (1976). The Complexity of Finite Memory Programs with Recursion. DAIMI Report Series, 5(68). https://doi.org/10.7146/dpb.v5i68.6486