1. Chandra, A., Kozen, D., Stockmeyer, L.: Alternation. Journal of the ACM (JACM) 28(1) (January 1981)
2. Fischer, M., Ladner, R.: Propositional dynamic logic of regular programs. Journal of Computer and System Sciences 18, 194–211 (1979)
3. Hopkins, M., Kozen, D.: Parikh’s Theorem in Commutative Kleene Algebra. In: Proc. 14th Conf. Logic in Computer Science (LICS 1999), pp. 394–401. IEEE (July 1999)
4. Kozen, D., Parikh, R.: An Elementary Completeness Proof for PDL. Theor. Comp. Sci. 14, 113–118 (1981)
5. Harel, D., Kozen, D., Parikh, R.: Process Logic: Expressiveness, Decidability, Completeness. JCSS 25, 144–170 (1982)