Susan Horwitz Jan Prins Thomas W. Reps On the Adequacy of Program Dependence Graphs for Representing Programs. 146-157 1988 POPL db/conf/popl/popl88.html#HorwitzPR88a