Paul M. B. Vitányi: An Optimal Simulation of Counter Machines. SIAM J. Comput. 14(1): 1-33 (1985)