Jones, N. D.; Muchnick, S. S. The Complexity of Finite Memory Programs With Recursion. DPB 1976, 5.