Mehlhorn, K., Paul, W. J., & Uhrig, C. (1992). $k$ versus $k+1$ Index Registers and Modifiable versus Non-modifiable Programs. Information and Computation, 101, 123-129.