Theoretische Grundlagen der Programmiersprachen. Automaten u. Sprachen - Bucher, Walter (Reihe Informatik, 1984)