Semirings: algebraic theory and applications in computer science - Hebisch,U (Series in algebra v.5, 1993)