An efficient method of computing static single assignment form (1989)

by R Cytron, J Ferrante, B K Rosen, M N Wegman, F K Zadeck
Venue:In POPL ’89: Proceedings of the 16th ACM SIGPLANSIGACT symposium on Principles of programming languages