@book{7725,
	author = {Holzmann, Gerard J. and American Telephone and Telegraph Company.},
	title = {Design and validation of computer protocols /},
	publisher = {Prentice Hall,},
	year = {c1991.},
	series = {Prentice Hall software series},
	address = {Englewood Cliffs, N.J. :},
	note = {At head of title: AT & T.}
}