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

by Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck
Venue:ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS