@book{Wilhelm1997,
  author    = {Otto Wilhelm},
  title     = {Theoretische Grundlagen der Informatik : ein vorlesungsbegleitendes Manuskript f{\"u}r den internen Gebrauch am Institut ; Bd. 1 Automaten und Umwelten},
  editor    = {Lothar Budach},
  year      = {1997},
}