Formal refactorings for object models.

Rohit Gheyi, Tiago Massoni

Browse the full OOPSLA paper archive.