PaperParallelism and concurrency of graph manipulationsHartmut Ehrig, Barry K. RosenTheoretical Computer Science
Conference paperGlobal value numbers and redundant computationsBarry K. Rosen, Mark N. Wegman, et al.POPL 1988