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

by T Lengauer, R E Tarjan
Venue:ACM Transactions on Programming Languages and Systems