PaperEfficiently Computing Static Single Assignment form and the Control Dependence GraphRon Cytron, Jeanne Ferrante, et al.ACM TOPLAS
PaperParallelism and concurrency of graph manipulationsHartmut Ehrig, Barry K. RosenTheoretical Computer Science