L. Kristiansen, “The Implicit Computational Complexity of Imperative Programming Languages”, BRICS, vol. 8, no. 46, Nov. 2001.