Ambitious Data Flow Analysis of Procedural Programs (1989)

by B G Cooper