Protocol Specification, Testing and Verification VIII: International Workshop Proceedings: 1988 8th (I F I P W G 61 International Workshop on Protocol ... Specification, Testing, and Verification)