Interprocedural slicing using dependence graphs (1990)

by S Horwitz, T Reps, D Binkley
Venue:ACM Transactions on Programming Languages and Systems