Buchsbaum, et al.. A New, Simpler Linear-time Dominators Algorithm. Association for Computing Machinery (ACM), Nov. 1998, doi:10.1145/295656.295663.