Imperative program transformation by rewriting (2001)

by D Lacey, O de Moor
Venue:In Proc. 10th Intl. Conf. on Compiler Construction, volume 2027 of LNCS