Text this: Weighted Automata, Formal Power Series and Weighted Logic by Laura Wirth. [electronic resource] /