Сопроводительные письма к экземплярам доклада А. Пнуэли, Н. Прайвза и С. Шастри и рисунка к этому докладу. Дата: 29.11.1979 Оригинальный язык документа: английский Авторы: Ноуа С. Прайвз Организации: ИФИП Персоналии: А. Пнуэли, С. Шастри Адресаты: Андрей Петрович Ершов
