Erweiterte Büchi-Automaten auf endlichen Wortmodellen theoretische Grundlagen, Automatengenerierung und Konzepte für das Parsen natürlicher Sprachen - Schmitt, Uka Maria (IIG, 1995)
Literaturverz. S. 66 - 69