References

1

Apt, K.R.: Ten years of Hoare's logic: A Survey - Part I. ACM Trans. Progr. Lang. and Systems 3(1981) 431-483

2

Beth, E.W.: Formal methods. D. Reidel, Dordrecht-Holland 1962.

3

Cook, S.A.: Soundness and completeness of an axiom system for program verification. SIAM Joun. on Comp. 7(1978) 70-90

4

Gumm, H.P., Sommer, M.: Einführung in die Informatik. Addison Wesley, 2nd ed. 1995

5

Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM 12(1969) 576-580

6

Wand, M.: A new incompleteness result in Hoare's system. Journ. ACM 25(1978) 168-175