1. Banachowski, L., Kreczmar, A., Mirkowska, G., Rasiowa, H. and Salwicki, A., An introduction to algorithmic logic, In: Mazurkiewicz and Pawlak, eds., Math. Found. Comp. Sci., Banach Center Publications, Warszawa 1977.
2. Lecture Notes in Comp. Sci.;D. Harel,1979
3. Kozen, D., A representation theorem formodels of *-free PDL, manuscript, July 1979.
4. Kozen, D., On the duality of dynamic algebras and Kripke models, manuscript, May 1979.
5. Kozen, D., On the representation of dynamic algebras, manuscript, October 1979.