Semirings and their applications - Golan, Jonathan S (2010)