"Weighted Automata and Regular Expressions over Valuation Monoids."

Manfred Droste, Ingmar Meinecke (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics