Semirings, automata, languages. - Springer Verlag, 1986. - ( EATCS Monographs on Theoretical Computer Science ; 5).