Mapping Ada Source Code into an Abstract Program Space.

Paul A. Bailes, Paul Burnim, Murray Chapman

Browse the full APSEC paper archive.