Eciently computing Dominators in linear time 13 static single assignment form and the control dependence graph (1991)

by R Cytron, J Ferrante, B Rosen, M Wegman, F Zadek
Venue:ACM Trans. Programming Language Systems (TOPLAS