Агрегативный метод формализованного описания и моделирования протоколов : (На прим. протокола Х. 25Пранявичюс, Г.И.198263 с.