Parikh’s Theorem in Commutative Kleene Algebra. Logic in Computer Science, (1999)

by M W Hopkins, D C Kozen
Venue:Proceedings. 14th Symposium on. IEEE,