Handbook of weighted automata - Droste, Manfred, 1956-; Kuich, Werner, 1941-; Vogler, Heiko, 1957- (Springer, 2009)