Joachim Machner Karl Straßner Kongruenzverbände autonomer Semiautomaten. 137-146 1977 13 Elektronische Informationsverarbeitung und Kybernetik 3 db/journals/eik/eik13.html#MachnerS77