"Efficient automata constructions and approximate automata."

Bruce W. Watson et al. (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics