Source Code Analysis: A Road Map
The use of program dependence graphs in software engineering