@techreport{Seidl97Interprocedural, author = {Helmut Seidl and Christian Fecht}, title = {Interprocedural {A}nalysis {B}ased on {PDA}s}, year = 1997, series = {Forschungsbericht}, volume = {97-06}, publisher = {Universit\"at Trier, Mathematik/Informatik}, }