Books by IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification (8th 1988 Atlantic City, N.J.)