1. deBakker, J.W., Meertens, L.G.L.T.: On the completeness of the inductive assertion method. J. Comput. System Sci. 11, 323?357 (1975)
2. Cartwright, R. Jr.: A practical formal semantic definition and verification system for TYPED LISP. Stanford Artificial Intelligence Laboratory Memo AIM-296, December 1976
3. Chang, C.C., Keisler, H.J.: Model theory. Studies in logic and the foundations of mathematics. (A. Heyting, ed.) Vol. 73, Amsterdam: North-Holland, 1973
4. Enderton, H.B.: A mathematical introduction to logic. New York: Academic Press, 1972
5. Floyd, R.W.: Assigning meaning to programs. In: Mathematical aspects of computer science, (J. Schwartz, ed.) Vol. 19, Providence, R.I.: American Mathematical Society 1976