Liliana Favre Claudia Pereira Formalizing MDA-Based Refactorings. 377-386 2008 Australian Software Engineering Conference http://doi.ieeecomputersociety.org/10.1109/ASWEC.2008.15 conf/aswec/2008 db/conf/aswec/aswec2008.html#FavreP08