Gallagher, K. (2004). Some notes on interprocedural program slicing. . https://doi.org/10.1109/scam.2004.21