Складові частини документа:

• Криницкий В.Н. Алгоритмический подход к протоколам и проблема тупиков в сети. - . - ,
• Буза М.К., Курбацкий А.Н. Об одной формальной модели программ. - . - ,
• Корнеев В.В. Параллельные вычисления в вычислительных системах с программируемой структурой. - . - ,
• Аузиньш А.И. Разрешимость проблемы достижимости для реляционных автоматов с магазином. - . - ,
• Минц В.М. Быстрый поиск в последовательном файле. - . - ,
• Тоценко В.Г., Парамонов Н.Б. Вероятностный метод тестирования программ. - . - ,
• Самойлов В.Ю. Статистическая проверка корректности процедурных вызовов. - . - ,
• Залялов Р.З., Каминский Л.Г., Клименко С.В., Силин И.Н., Соколов А.П. Межпрограммный канал связи в ОС "Дубна". - . - ,
• Борейша Ю.Е. Модель-вычислитель для системы динамических параллельных взаимодействующих процессов. - . - ,
• Долбак А.В. Методика отладки и испытаний управляющих алгоритмов и программ АСУ. - . - ,
• Баранов С.Н. Опыт разработки больших программ на языке Ассемблера. - . - ,