Books by IFIP TC 6/WG 6.1 International Symposium on Protocol Specification, Testing and Verification (12th 1992 Lake Buena Vista, Fla.)