The aim of this FWO-funded project was to provide a solid foundation for software refactoring through the development of a suitable formal model. Graph rewriting was explored as the basis of a lightweight model, facilitating the investigation of basic properties of refactoring, as well as the design of tools supporting the refactoring process.