Parikh's Theorem in Commutative Kleene Algebra. - Mark W. Hopkins; Dexter Kozen (LICS, 1999)