Preston Briggs Keith D. Cooper Effective Partial Redundancy Elimination. 159-170 1994 PLDI db/conf/pldi/pldi94.html#BriggsC94