On Kleene algebras and closed semirings (1990)

by D Kozen
Venue:Mathematical Foundations of Computer Science