Protocol specification, testing and verification, XIII : proceedings of the IFIP TC6/WG6.1. thirteenth International Symposium on Protocol Specification, Testing and Verification, Liége, Belgium, 25-2. ISBN 0444816488. Published by North-Holland in 1993. Publication and catalogue information, links to buy online and reader comments.