to V.Agafonov's book "Program specification: conceptual tools and organization" (handwritten)

V.Agafonov's book "Program specification: conceptual tools and organization"

to Russian translation of the book by Suad Alagic and Michael A. Arbib "The Design of Well-Structured and Correct Programs"

to V.E.Kotov's book "Introduction to program schemata theory"

to the Proceedings of the Repino Conference published in "Machine Intelligence", 9. — New York,1979 — P. V–VI (typewritten and handwritten copies, drafts, bibliography).

to the collected articles "Communication with Computer in Natural Language" of the "Dialog" project; Novosibirsk, 1978

to the collected articles "Automated working station for intellectual activity" (handwritten and typewritten copies)

to the Soviet-Bulgarian collected articles "Mathematical theory of programming"

to the monograph by A.F.Fuksman "Technological aspects of program systems creation", 1979 (handwritten and typewritten)

to the Computing Center's collected articles "New problems in informatics", 1979

to the collection "Applied informatics", Issue 1

by executive editor of the collection "Modelling of linguistic activities in intelligence systems" (handwritten)

by executive editor of the collection "Modelling of linguistic activities in intelligence systems"

to the collected articles "Logical programming" published by "Mir" Publishing House, edited by A.P. Ershov and V.N. Agafonov

to translation of ANCI-PL/1 by L.A. Korneva

to the collection "Abstract data types" edited by V.N.Agafonov