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

by Thomas Lengauer, Robert Endre Tarjan