Interprocedural slicing of computer programs using dependence graphs Grant US-5161216-A United States of America 03 Nov 1992