"Minimal Automaton of a Rational Cover."

Danièle Beauquier (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics