Finite-valued distance automata
scientific article; zbMATH DE number 708729
scientific article