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

by R Cytron, J Ferrante, B Rosen, M Wegman, K Zadeck
Venue:ACM Transactions on Programming Languages and Systems