"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