СЕРГЕЕВ, Г. Г. ФОРМАЛИЗАЦИЯ ПРОЦЕССА РЕФАКТОРИНГА НА ОСНОВЕ СИМВОЛЬНОЙ ЗАПИСИ СТРУКТУРЫ КЛАССОВ. SACIT 2010, 100-105.