Research work · 2005 On kleene algebras and closed semirings Dexter C. Kozen Springer eBooks DOI: 10.1007/bfb0029594