@book{7323437,
	author = {Зайцев, С. С. and Мурадян, Н.А.},
	title = {Методы проверки правильности функционирования сетевых протоколов},
	publisher = {Б. и.},
	year = {1983},
	address = {М.},
	note = {В надзаг.: АН СССР, Науч. совет по комплекс. пробл. "Кибернетика"}
}