1. A. P. Ershov, ?Scientific foundations of verification programming. A scientific report,? Vestn. AN SSSR, No. 10, 9?19 (1984).
2. V. R. Pratt, ?On specifying verifiers,? Proc. Ann. Symp. Principles of Programming Languages (Las Vegas, Nov. 1980), Academic Press, New York (1980), pp. 106?116.
3. E. L. Yushchenko and I. V. Kasatkina, ?Modern program verification methods,? Kibernetika, No. 6, 37?62 (1980).
4. V. A. Nepomnyashchii, ?Practical program verification methods,? Kibernetika, No. 2, 21?28, 43 (1984).
5. M. S. Nikitchenko and V. N. Red'ko, ?Composition and functional programming: a comparative analysis,? Programmirovanie, No. 2, 15?28 (1985).