Conference paperEfficient method of computing static single assignment formRon Cytron, Jeanne Ferrante, et al.POPL 1989