@article{SturzbecherLabitzke2004,
  author    = {Dietmar Sturzbecher and Peter Labitzke},
  title     = {{\"U}berwachungsberichte zur Formal{\"u}berwachung},
  year      = {2004},
}