N. D. Jones and S. S. Muchnick, “The Complexity of Finite Memory Programs with Recursion”, DPB, vol. 5, no. 68, Dec. 1976.