Conference paperIncremental algorithm for maintaining the dominator tree of a reducible flowgraphG. Ramalingam, Thomas RepsPOPL 1994