Protocol specification, testing, and verification. Vol. VIII : Proceedings of the IFIP WG 6.1 8th internat. symp., Atlantic City, New Jersey, USA, June 7 - 10, 1988 - Rudin, Harry (North-Holland Publishing, 1988)