David Lacey Oege de Moor Imperative Program Transformation by Rewriting. 52-68 2001 conf/cc/2001 CC http://link.springer.de/link/service/series/0558/bibs/2027/20270052.htm db/conf/cc/cc2001.html#LaceyM01