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