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