@techreport{Seidl02Interprocedural,
  author = {Helmut Seidl and Varmo Vene and Markus M\"uller-Olm},
  title = {Interprocedural {I}nvariants},
  year = 2002,
  series = {Forschungsbericht},
  volume = {02-10},
  publisher = {Universit\"at Trier, Mathematik/Informatik},
}