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