1. Conway, J.H.: Regular Algebra and Finite Machines. Chapman and Hall, Boca Raton (1971)
2. Esparza, J., Kiefer, S., Luttenberger, M.: On fixed point equations over commutative semirings. Technical report (2006)
3. Esparza, J., Kučera, A., Mayr, R.: Model checking probabilistic pushdown automata. In: LICS 2004, IEEE Computer Society Press, Los Alamitos (2004)
4. Etessami, K., Yannakakis, M.: Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations. In: STACS, pp. 340–352 (2005)
5. Hopkins, M.W., Kozen, D.: Parikh’s theorem in commutative Kleene algebra. In: Logic in Computer Science, pp. 394–401 (1999)