Gerald C. Gannod Betty H. C. Cheng A Formal Approach for Reverse Engineering: A Case Study. 100-111 1999 WCRE http://computer.org/proceedings/wcre/0303/03030100abs.htm db/conf/wcre/wcre1999.html#GannodC99a