Electronic Communications of the EASST Volume 3 ( 2006 ) Proceedings of the Third Workshop on Software Evolution through Transformations : Embracing the Change ( SeTra 2006 ) An Approach to Invariant-based Program Refactoring