On Kleene algebras and closed semirings (1990)

by D C Kozen
Venue:In Proceedings, Mathematical Foundations of Computer Science, B.Rovan, Ed. Lecture Notes in Computer Science