David Lacey, Oege de Moor. Imperative Program Transformation by Rewriting. In Reinhard Wilhelm, editor, Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Volume 2027 of Lecture Notes in Computer Science, pages 52-68, Springer, 2001. [doi]