Агрегативный подход и метод управляющих последовательностей как средство исследования корректности и эффективности протоколов : (Препринт)Пранявичюс, Генрикас Йонович198330 с.