Buchsbaum, Kaplan, Rogers, Westbrook, 1998. A new, simpler linear-time dominators algorithm 20.. https://doi.org/10.1145/295656.295663