HIT2010
Buch: Formale Sprachen, abstrakte Automaten und Compiler
FLACI
Theoretische Informatik
AuK
Berechenbarkeitstheorie; BuK-Master-LV