Static composition of refactorings
scientific article; zbMATH DE number 2117334