Efficiently computing the static single assignment and the control dependence graph (1991)

by Ron Cytron, Jeanne Ferrante, Barry K Rosen, Mark N Wegman, Kenneth F Zadeck
Venue:ACM Transactions on Programming Languages and Systems