suggesting to increase circulation of V.Agafonov's book "program specification: conceptual tools and organization"

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

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

Foreword to annotated index of domestic works on computers in education, compiled by N.A.Sadovskaya

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 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

to the two-volume collection "Theory and practice of computer software" (Proceedings of Soviet-French Symposium). Enclosed is the volumes' indices