Harbans Kaur, James Brown Grier, Graham Campbell. A Specification and Verifiaction Tool for Communication Protocols. In Naveed A. Sherwani, Elise de Doncker, John A. Kapenga, editors, Computing in the 90 s, The First Great Lakes Computer Science Conference, Kalamazzo, Michigan, USA, October 18-20, 1989, Proceedings. Volume 507 of Lecture Notes in Computer Science, pages 234-241, Springer, 1989.
Abstract is missing.