Conference paperEfficient method of computing static single assignment formRon Cytron, Jeanne Ferrante, et al.POPL 1989
PaperProgram equivalence and context-free grammarsBarry K. RosenJournal of Computer and System Sciences