Static composition of refactorings. - Günter Kniesel; Helge Koch (Sci. Comput. Program., 2004)