and Robert Endre Tarjan. A fast algorithm for finding dominators in a flowgraph (1979)

by Thomas Lengauer
Venue:ACM Trans. Program. Lang. Syst