1. Fischer, M. J. and R. E. Ladner, "Propositional Dynamic Logic of Regular Programs", JCSS, 18, 194–211, 1979.
2. Mirkowska, G., "Complete Axiomatization of Algorithmic Properties of Program Schemes with Bounded Nondeterministic Interpretations", Proceedings of the 12th ACM Symposium on Theory of Computing, 14–21, 1980.
3. Mirkowska, G., personal communication. Warsaw, July, 1980.
4. Pratt, V. R., "Models of Program Logics", JCSS, 20, 231–254, 1980.
5. Rogers, H., Theory of Recursive Functions and Effective Computability, McGraw-Hill Book Company, 1967.