Handbook of weighted automata - Droste, Manfred, 1956- (Springer, 2009)