PaperEfficiently Computing Static Single Assignment form and the Control Dependence GraphRon Cytron, Jeanne Ferrante, et al.ACM TOPLAS
Conference paperGlobal value numbers and redundant computationsBarry K. Rosen, Mark N. Wegman, et al.POPL 1988