The program dependence graph and its use in optimization (1987)

by Jeanne Ferrante, Karl J Ottenstein, Joe D Warren
Venue:ACM Transactions on Programming Languages and Systems