1. V. M. Glushkov, Yu. V. Kapitonova, and A. A. Letichevskii, Automation of Computer Design, [in Russian], Naukova Dumka, Kiev (1975).
2. S. S. Gorokhovskii, Yu. V. Kapitonova, and A. A. Letichevskii, ?On the facilities for programming and solving logical programs in mathematical software systems,? Kibernetika, No. 4 (1973).
3. V. M. Glushkov, V. V. Bublik, S. S. Corokhovskii, et al., Programming in L2B Language [in Russian], Kiev (1979). Preprint No. 79-73 of Inst. of Cybernetics, Academy of Sciences of the UkrSSR.
4. V. N. Domrachev, Yu. V. Kapitonova, and L. G. Samoilenko, ?One method of defining the semantics of programming language constructs in terms of lambda calculus,? Part 1, Kibernetika, No. 5, 19 (1981).
5. B. J. Robinet, Contribution a l'Etude Realites Informatique, Univ., Paris (1974).