A Formal Approach for Software Maintenance. - Umer Waqar; Ferhat Khendek; Daniel Vincent (ICSM, 2002)