@book{Witt2005,
  author    = {Witt, Kurt-Ulrich},
  title     = {Algebraische Grundlagen der Informatik},
  series    = {Studium},
  edition   = {2., {\"u}berarbeitete Auflage},
  isbn      = {3-528-13166-7},
  institution = {Fachbereich Informatik},
  year      = {2005},
  language  = {de}
}