Ambitious data flow analysis of procedural programs (1989)

by B G Cooper