1. V. M. Glushkov, ?Certain problems of automata theory and artificial intelligence,? Kibernetika, No. 2 (1970).
2. V. M. Glushkov and Yu. V. Kapitonova, ?Automatic search for proofs of theorems in mathematical theories and intelligent machines,? Kibernetika, No. 5 (1972).
3. A. A. Stognii, ?A variant of digital machine structure for the processing of literal information,? in: Problems of Cybernetics [in Russian], No. 10, Moscow (1963).
4. A. A. Stognii, ?The basic principles for the construction of automatic information systems,? Upravl. Sist. Mash., No. 2 (1972).
5. V. M. Glushkov, V. G. Bodnarchuk, T. A. Grinchenko, A. A. Dorodnitsyna, V. I. Klimenko, A. A. Letichevskii, S. B. Pogrebinskii, A. A. Stognii, and Yu. S. Fishman, ?ANALYTIK (algorithmic language for describing computational processes utilizing analytical transformations),? Kibernetika, No. 3 (1971).