Handbook of weighted automata - Droste, Manfred; Kuich, Werner; Vogler, Heiko (Monographs in Theoretical Computer Science. An EATCS Series, 2009)