Issue No. 09 - September (1979 vol. 12)
C. Sunshine , The Rand Corporation
Certain formal approaches, such as transition techniques and reachability analysis, show promising results when applied to protocol specification and verification.
C. Sunshine, "Formal Techniques for Protocol Specification and Verification", Computer, vol. 12, no. , pp. 20-27, September 1979, doi:10.1109/MC.1979.1658889