Paul A. Bailes Paul Burnim Murray Chapman Mapping Ada Source Code into an Abstract Program Space. 171-180 1997 conf/apsec/1997 APSEC http://csdl.computer.org/comp/proceedings/apsec/1997/8271/00/82710171abs.htm db/conf/apsec/apsec1997.html#BailesBC97