L. Georgiadis, R. Tarjan, and R. Werneck, “Finding Dominators in Practice”, JGAA, vol. 10, no. 1, pp. 69–94, Jan. 2006.