A Specification and Verifiaction Tool for Communication Protocols. - Harbans Kaur; James Brown Grier; Graham Campbell 002 (Great Lakes Computer Science Conference, 1989)