T. Massoni, “An Approach to Invariant-based Program Refactoring”, ECEASST, vol. 3, Feb. 2007.