сделанные Андреем Петровичем во время обсуждения.

сделанные Святославом Сергеевичем Лавровым. /Текст рукописный./

сделанные Э.А. Милютиным.

Г.С. Цейтина, касающаяся обсуждения доказательности программирования.

о контрактационном программировании, изложенное автором в письменном виде по просьбе адресата. /Текст рукописный./

по КП НТП (комплексной программе научно-технического прогресса) СССР до 2005 года. /Текст рукописный./

по существу некоторых важных идей КП НТП СССР. /Текст рукописный./

к выступлению А.П. Ершова в Пущино.