The theory of semirings with applications in mathematics and theoretical computer science - Golan, Jonathan S. (Longman, 1992)