1. V. M. Glushkov, T. A. Grinchenko, A. A. Dorodnitsyna, V. P. Klimenko, A. A. Letichevskii, S. B. Pogrebinskii, A. A. Stognii, and Yu. S. Fishman, ?ANALITIK: Algorithmic language for describing computing processes using analytic transformations,? Kibernetika, No. 3 (1971).
2. R. W. Floyd, ?Assigning meanings to programs,? Proc. Symp. Appl. Math.,19, AMS, Providence (1967).
3. C. A. R. Hoare, ?An axiomatic basis for computer programming,? Commun. ACM,12, No. 10 (1969).
4. R. L. London, ?Computer programs can be proved correct,? Lecture Notes in Operations Research and Mathematical Systems,28 (1970).
5. D. C. Cooper, ?Program schemes, programs, and logic,? Lecture Notes in Mathematics,188 (1971).