I. A. P. Ershov and V. V. Grushetski, "An implementation-oriented method for describing algorithmic languages," in: Information Processing 77, IFIP. North-Holland, Amsterdam (1977), pp. 117-122. 2. S. P. Kritskii, "Axiomatic description of context relations and conditions," Programmirovanie, No. 6, 17 (1980). 3. O. A. ll'icheva, "Implementation of context analysis on the basis of structure computations," in: Translation Methods [in Russian], Rostov State Univ. (1981), pp. 100-107. 4. V. Sh. Kaufman and V. A. Levin, "A report on the V language," Vychisl. Metody Programmirovanie, 33, 79 (1980). 5. Principles of Translator Design [in Russian], Collected Papers, RostovStateUniv. (1974). 6. V. N. Glushkova and T. V. Rudenko, "An algorithm for transforming grammars to a form suitable for translation," Programmirovanie, No. 3, 21 (1982). 7. A. L. Fuksman, "Weakly separated grammars," Zh. Vychisl. Mat. Mat. Fiz., 16, No. 5, 1293 (1976). 8. I. V. Vel'bitskii and E. L. Yushchenko, "Metalanguage oriented on Syntactic analysis and control," Kibernetika, No. 2, 50 (1970). 9. A. Nijholt, "Context-free gram~nars: covers, normal forms, and parsing," Lect. Notes Comput. Sci., No. 83, 249 (1980). I0. Y~. L. 'fershov and E. A. Palyutin, Mathematical Logics [in Russian], Nauka, Moscow (1979). ii. S. S. Gorokhovskii, Yu. V. Kapitonova, A. A. Letichevskii, et al., "The MAYaK algorithm language," Kibernetika, No. 3, 54 ~1984).