On Kleene Algebras and Closed Semirings (1990)

by Dexter Kozen
Venue:THE DEGREE STRUCTURE OF WEIHRAUCH REDUCIBILITY 17