1. Constable R.L. and O'Donnel M.J., Programming Logic, Winthrop Publishers, 1978.
2. Harel D., First-Order Dynamic Logic, Lecture Notes in Comp. Sci. 68 (1979).
3. Hitchcock P. and Park D., Induction Rules and Termination Proofs, Automata, Languages and Programming (ed. Nivat), American Elsevier, New York 1973, 225–251.
4. Janicki R., An algebraic approach to the theory of recursive coroutines, Fundamenta Informaticae I. 1 (1977), 131–145.
5. Mazurkiewicz A., Recursive algorithms and formal languages, Bull. Pol. Ac. Sci. Ser. Math. Astron. Phys. 20 (1972), 799–809.