Dorothee Arold Lutz Bernhardt Ludwig Staiger Über die Entscheidung und Aufzählung regulärer Wortmengen durch Markowsche Algorithmen. 99-114 1972 8 Elektronische Informationsverarbeitung und Kybernetik 2/3 db/journals/eik/eik8.html#AroldBS72