Kristiansen, L. The Implicit Computational Complexity of Imperative Programming Languages. BRICS 2001, 8.