Susan Horwitz Phil Pfeiffer Thomas W. Reps Dependence Analysis for Pointer Variables. 28-40 1989 PLDI db/conf/pldi/pldi89.html#HorwitzPR89