1. Andréka, H. and Németi, I.: Every free algebra in the variety generated by the separable dynamic algebras is separable and representable, to appear in Theoretical Comp. Sci.
2. Fischer, M.J. and Lander, R.E.: Propositional modal logic of programs, Proc. 9th Ann. ACM Symp. on Theory of Computing, 286–294, Boulder, Col., May 1977.
3. Kozen, D.: A representation theorem for models of *-free PDL, IBM Researche, July 1979.
4. Kozen, D.: Dynamic algebras, in [10].
5. Kozen, D.: On induction vs. *-continuiuty, IBM Research, Sept. 1980.