Ron Cytron Reid Gershbein Efficient Accomodation of May-Alias Information in SSA Form. 36-45 1993 PLDI db/conf/pldi/pldi93.html#CytronG93