Yoshio Kataoka Michael D. Ernst William G. Griswold David Notkin Automated Support for Program Refactoring Using Invariants. 736-743 2001 ICSM http://computer.org/proceedings/icsm/1189/11890736abs.htm db/conf/icsm/icsm2001.html#KataokaEGN01