Your search returned the following document:

1. $k$ versus $k+1$ Index Registers and Modifiable versus Non-modifiable Programs
   Kurt Mehlhorn, Wolfgang J. Paul, and C Uhrig
   Information and Computation 101 (1): 123-129, 1992
   [PDF: Download: KVersusPlusOne.pdf]