Text this: Protocol specification, testing and verification XV : proceedings of the Fifteeenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995 / edited by Piotr Dembiński and Marek Średniawa.