поступившие А.П. Ершову после выступления с пленарным докладом "Трансформационный метод в технологии программирования".
