Hiralal Agrawal On Slicing Programs with Jump Statements. 302-312 1994 PLDI db/conf/pldi/pldi94.html#Agrawal94