Return to Article Details An Approach to Invariant-based Program Refactoring Download Download PDF