William E. Howden Suehee Pak The Derivation of Functional Specifications from Source Code. 166- 1996 conf/apsec/1996 APSEC http://csdl.computer.org/comp/proceedings/apsec/1996/7638/00/76380166abs.htm db/conf/apsec/apsec1996.html#HowdenP96