Text this: The theory of semirings with applications in mathematics and theoretical computer science /