Über die Entscheidung und Aufzählung regulärer Wortmengen durch Markowsche Algorithmen. - Dorothee Arold; Lutz Bernhardt; Ludwig Staiger (J. Inf. Process. Cybern., 1972)