Semirings : algebraic theory and applications in computer science - Hebisch, Udo, 1954- (Series in algebra ;, 1993)