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