Gallagher, K.B., "Some notes on interprocedural program slicing", , 2004