Handbook of Weighted Automata - Droste, Manfred; Kuich, Werner; Vogler, Heiko (Springer Berlin Heidelberg, 2009)