Информация о международной конференции по использованию методов формального описания (Киото, 23-26 августа 1978 г.). После нее с 29 августа по 1 сентября намечено заседание РГ2.2. Дата: 23.08.1978- 26.08.1978 Оригинальный язык документа: английский Персоналии: Е. К. Блум, С. Такасу, Эрих Нейхолд
