Helmut Seidl Christian Fecht Interprocedural Analyses: A Comparison. 123-156 2000 43 J. Log. Program. 2 db/journals/jlp/jlp43.html#SeidlF00