Ana R. Cavalli, Luis Fariñas del Cerro. Specification and Verification of Networks Protocols Using. In Manfred Paul, Bernard Robinet, editors, International Symposium on Programming, 6th Colloquium, Toulouse, April 17-19, 1984, Proceedings. Volume 167 of Lecture Notes in Computer Science, pages 59-73, Springer, 1984.