@InProceedings{DS08, Author = "Desharnais, J. and Struth, G.", Year = "2008", Title = "{Modal Semirings Revisited}", Editor = "Audebaud, P. and Paulin-Mohring, C.", BookTitle = "{Proceedings of the 9th International Conference on the Mathematics of Program Construction}", Place = "Marseille, France", Series = "Lecture Notes in Computer Science", Number = "5133", Pages = "360-387", Publisher = "Springer-Verlag", Comment = "TPTPRef" }