Frank Tip Adam Kiezun Dirk Bäumer Refactoring for generalization using type constraints. 13-26 2003 conf/oopsla/2003p OOPSLA http://doi.acm.org/10.1145/949305.949308 db/conf/oopsla/oopsla2003p.html#TipKB03