Specifying and Implementing Refactorings - Schäfer, M; de Moor, O (ACM Press, 2010)