https://dl.acm.org/doi/pdf/10.1145/357062.357071 (Publisher version)
Lengauer, T., & Tarjan, R. E. (1979). A Fast Algorithm for Finding Dominators in a Flowgraph. ACM Transactions on Programming Languages and Systems, 1(1), 121-141. doi:10.1145/357062.357071.