Books by IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (10th 1990 Ottawa, Canada)) on BookTides.