1. Regular repair of specifications;Benedikt,2011
2. Recognizable sets with multiplicities in the tropical semiring;Simon,1988
3. Finite-state transducers in language and speech processing;Mohri;J. of Comp. Ling.,1997
4. Order-n correction for regular languages;Wagner;CACM,1974
5. The equality problem for rational series with multiplicities in the tropical semiring is undecidable;Krob,1992