Martin P. Ward Reverse Engineering from Assembler to Formal Specifications via Program Transformations. 11- 2000 WCRE http://computer.org/proceedings/wcre/0881/08810011abs.htm db/conf/wcre/wcre2000.html#Ward00