Jeanne Ferrante, Karl J. Ottenstein, Joe D. Warren: The program Dependence Graph and its Use in Optimization. Symposium on Programming 1984: 125-132