G. A. Venkatesh The Semantic Approach to Program Slicing. 107-119 1991 PLDI db/conf/pldi/pldi91.html#Venkatesh91