"Minimum Length Synchronizing Sequences of Finite State Machine."

June-Kyung Rho, Fabio Somenzi, Carl Pixley (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics