"State-Identification Problems for Finite-State Transducers."

Moez Krichen, Stavros Tripakis (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics