Massoni, T. An Approach to Invariant-Based Program Refactoring. ECEASST 2007, 3.