Karl Straßner Zerlegungssätze für nichtdeterministische Automaten. 95-104 1979 15 Elektronische Informationsverarbeitung und Kybernetik 1/2 db/journals/eik/eik15.html#Strassner79