A fast algorithm for finding dominators in a flowgraph (1979)

by T Lengauer, R E Tarjan
Venue:ACM Trans. Program. Lang. Syst