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