Bibliotechnye procedury sinteza program (A library of program synthesis procedures), Avtomaticheskij Sintez Programm, Tallinn, 1983 (in Russian).

Reshenie sistem uravnenij dlja velichin strukturnyh tipov (Solving simultaneous equations containing variables of structural types), Problemy Obrabotki Informacii, Leningrad, 1985 (in Russian).

D/M - vhodnoj jazyk sistemy upravlenija paketami prikladnyh programm dlja mikro-EVM (D/M: a language for controlling libraries of application programs on microcomputer systems), Dialogovye Mikrokompjuternye Sistemy, Moscow, 1986 (in Russian).

Rasshirenie FORTa v kachestve jazyka dlja EVM pjatogo pokolenija (An extension of FORTH as a language for the fifth-generation computers), Interpretirujushie Sistemy Programmirovanija i Ih Apparatnaja Podderzhka, Tallinn, 1988 (in Russian).

O problemah inzhenerii metaznanij (On meta-knowledge engineering), Instrumentalnye Sredstwa Podderzhki Programmirovanija, Leningrad, 1988 (in Russian).
 

D/M - dialogovyj jazyk dlja upravlenija paketami prikladnyh programm (D/M: an interactive language for controlling application programming libraries), Upravljajushie Sistemy i Mashiny, 1985, #3 (in Russian).

Sredstva strukturnogo sinteza programm (A Means for the structural synthesis of programs), Programmirovanie, 1987, #1 (in Russian, this journal is translated into English under the title Programming and Computer Software).
 

State Machine Specification Directly in Java and C++, Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2000 Companion   more>

A Framework for Tracking Branch Conditions, Midwest Society for Programming Languages and Systems: Fall 1995 Workshop   more>

with Katsev B.A. Dialogovaja sistema upravlenija paketami prikladnyh programm (An interactive control system for application programming libraries), Interaktivnye Sistemy, Tbilisi, 1983 (in Russian).

Vhodnoj jazyk sistemy upravlenija paketami prikladnyh programm (The language of a control system for application programming libraries), Avtomatizacija Proizvodstva Paketov Prikladnyh Programm i Transljatorov, Tallinn, 1983 (in Russian).

Strukturnyj sintez programm pri nalichii dopolnitelnyh aksiom (The structural synthesis of programs with using additional axioms), Sistemnoe i Teoreticheskoe Programmirovanie, Kishinev, 1983 (in Russian).

Specializirowannye algoritmy sinteza programm (Specialized algorithms for program synthesis), Primenenie Metodov Matematicheskoj Logiki, Tallinn, 1983 (in Russian).

Razvitie teorij strukturnogo sinteza programm (Developments in the theory of the structural synthesis of programs), Sedmaya Vsesojuznaja Konferencija po Matematicheskoj Logike, Novosibirsk, 1984 (in Russian).

Analiticheskoe reshenie uravnenij za polinomialnoe vremq (Solving symbolic equations in polynomial time), Sistemy dlja Analiticheskih Preobrazovanij w Mehanike, Gorkij, 1984 (in Russian).

Specifikacii i sintez programm w jazyke FORT (Specifying and synthesizing programs in the programming language FORTH), Sintez Programm, Ustinov, 1985 (in Russian).

Sintaksicheski orientirovannaja produkcionnaja sistema (A syntax-oriented production system), Primenenie Metodov Matematicheskoj Logiki, Tallinn, 1986 (in Russian).

with Novikov F.A. Tipizacija dannyh posredstvom paketov programm (Typing data with the aid of application programming libraries), Avtomatizacija Proizvodstva Sistem ProgranimirovaniJa, Tallinn, 1986 (in Russian).

Strukturnyj sintez programm: novye sredstva (The structural synthesis of programs: new means), Analiticheskie Vychislenija na EVM i Ih Primenenie v Teoreticheskoj Fizike, Dubna, 1986 (in Russian).