Refactoring by Transformation