Grundlagen der Theoretischen Informatik mit Anwendungen von Vossen, Gottfried;Witt, Kurt-Ulrich;