Szabó-Nacsa Rozália; Diviánszky Péter; Horváth Zoltán: Prototype environment for refactoring clean programs : [abstract].