Mehlhorn, Kurt Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Uhrig, C Max Planck Society;
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.