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

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