Incremental algorithm for maintaining the dominator tree of a reducible flowgraphG. RamalingamThomas Reps1994POPL 1994