Automaten, Sprachen und Maschinen für Anwender - Ottmann, Thomas