Karl Straßner Zur Strukturtheorie endlicher nichtdeterministischer Automaten I. Zum Verband der 1-Kongruenzen von endlichen Relationalsystemen. 113-120 1981 17 Elektronische Informationsverarbeitung und Kybernetik 2/3 db/journals/eik/eik17.html#Strassner81