Protocol specification, testing, and verification, IX proceedings of the IFIP WG 6.1, ninth international symposium on protocol specification, testing, and verification, Enschede, The Netherlands, 6-9 June, 1989 - Brinksma, Ed; Scollo, Giuseppe; Vissers, Chris A. 1941- (North-Holland, 1990)