Email Record: The theory of semirings with applications in mathematics and theoretical computer science /