A Maintenance Support System based on High-Level Control-Flow and Data Dependency. - Akihiko Matsuo; Sanya Uehara; Minako Kimura (APSEC, 1995)