Massoni, Tiago. “An Approach to Invariant-Based Program Refactoring”. Electronic Communications of the EASST, vol. 3, Feb. 2007, doi:10.14279/tuj.eceasst.3.25.