1. Arbib, M. A. And
Alagic, S. (1979). Proof rules for gotos. Acta Informatica, 11: 139148.
2. Bencivenga, E. (1986). Free logics. In Handbook of Philosophical Logic, vol. Iii: Alternatives in Classical Logic (D. Gabbay and F. Guenthner, editors), number 166 in Synthese Library, pages 373–426, D. Reidel, Dordrecht, Holland.
3. Bergstra, J. A., Tiuryn, J., And
Tucker, J. (1982). Floyd’s principle, correctness the- ories, and program equivalence. Theoretical Computer Science, 17: 129–147.
4. Clarke, JR., E. M. And KozEN, D., editors (1984). Logics of Programs
1983, volume 164 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1984.
5. Clarke, JR. E. M. (1984). The characterization problem for Hoare logics. In Mathematical Logic and Programming Languages (C. A. R. Hoare and J. C. Shepherdson, editors), pages 89–106, Prentice-Hall International.