The program dependence graph and its use in optimization, Jeanne Ferrante, Karl J. Ottenstein, Joe D. Warren
Michigan Tech Publications