Robert Endre Tarjan Finding Dominators in Directed Graphs. 62-89 1974 3 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp3.html#Tarjan74