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