Barry K. Rosen Mark N. Wegman F. Kenneth Zadeck Global Value Numbers and Redundant Computations. 12-27 1988 POPL db/conf/popl/popl88.html#RosenWZ88