Massoni, T. 2007. An Approach to Invariant-based Program Refactoring. Electronic Communications of the EASST. 3, (Feb. 2007). DOI:https://doi.org/10.14279/tuj.eceasst.3.25.