Imperative program transformation by rewriting (2001)

by D Lacey, O de Moor
Venue:Proceedings of the 10th International Conference on Compiler Construction, volume 2027 of Lecture Notes in Computer Science