1. BANACHOWSKI, L. et al. An Introduction to Algorithmic Logic; Metamathematical Investigations in the Theory of Programs, Mathematical Foundations of Computer Science, Banach Center Publichations, vol. 2, (ed A. Mazurkiewicz and Z. Pawlak), Polish Scientific Publishers, Warsaw, 1977, 7–100.
2. BERGSTRA, J., TIURYN, J. and TUCKER, J., Floyd's Principle, Correctness Theories and Program Equivalence, Mathematisch Centrum, IW145/80. To appear in Theoretical Computer Science, 1981.
3. CONSTABLE, R.L., and O'DONNELL, M.J., A Programming Logic, Winthrop Publishers, 1978.
4. DE BAKKER, J., Mathematical Theory of Program Correctness, Prentice-Hall, 1980.
5. ENGELER, E. Algorithmic Properties of Structures, Mathematical Systems Theory, 1, 1967, 183–195.