@book{hofmann2011automatentheorie,
  title={Automatentheorie und Logik},
  author={Hofmann, Martin and Lange, Martin},
  year={2011},
  publisher={Springer-Verlag}
}