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