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