Thomas Lengauer Robert Endre Tarjan A Fast Algorithm for Finding Dominators in a Flowgraph. 121-141 1979 1 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/357062.357071 db/journals/toplas/toplas1.html#LengauerT79