Formale Sprachen und Automaten [Vorlesung, WS 1993/94] - Leiß, Hans (CIS, 1994)