Umer Waqar Ferhat Khendek Daniel Vincent A Formal Approach for Software Maintenance. 608-617 2002 conf/icsm/2002 ICSM http://computer.org/proceedings/icsm/1819/18190608abs.htm db/conf/icsm/icsm2002.html#WaqarKV02