Text this: [Вып. 138] : Разработка и верификация протоколов информационно-вычислительных сетей