Books by IFIP TC6/WG6.1 International Symposium on Protocol Specification, Testing and Verification. (13th 1993 Liège, Belgium)