@phdthesis{Petter10Thesis,
  author = {Michael Petter},
  title = {Interprocedural {P}olynomial {I}nvariants},
  school = {Institut f\"ur Informatik},
  month = {September},
  year = 2010,
  publisher = {Verlag Dr. Hut},
  address = {Technische Universit\"at M\"unchen},
}