Использование новых средств формального описания при решении проблемы охраны окружающей среды [Текст] : [сборник статей]1980270 с.