@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},
}