A Fast and Usually Linear Algorithm for Global Flow AnalysisSusan L. GrahamMark Wegman1976Journal of the ACM