1. S. A. Abramov, Mathematical Constructions and Programming [in Russian], Nauka, Moscow (1978).
2. S. A. Abramov, ?Models of sets of sequences and proof of correctness of programs,? Zh. Vychisl. Mat. Mat. Fiz.,20, No. 5, 1347?1350 (1980).
3. V. N. Agafonov, ?Types and abstraction of data in programming languages,? in: Data in Programming Languages; Abstraction and Typology [Russian translation]. Mir, Moscow (1981), pp. 266?327.
4. V. N. Agafanov, ?On semantics of variables in PASCAL-like languages,? in: Teor. Foundations of Compilation [in Russian], Novosibirsk (1980), pp. 17?23.
5. M. I. Auguston, R. P. Balodis, Ya. M. Barzdin', and A. A. Kalnin'sh, A Subset of PL/I OS ES [in Russian], Riga (1976).