Protocol specification, testing and verification, VI : proceedings of the IFIP WG6.1 sixth International Workshop on Protocol Specification Testing, and Verification organized by Concordia University . ISBN 0444701265. Published by North-Holland in 1987. Publication and catalogue information, links to buy online and reader comments.