Conference paperGlobal value numbers and redundant computationsBarry K. Rosen, Mark N. Wegman, et al.POPL 1988
Conference paperEfficient method of computing static single assignment formRon Cytron, Jeanne Ferrante, et al.POPL 1989