[Sunshine79] C. Sunshine, Formal Techniques for Protocol Specification and Verification, IEEE, Computer, 1979,Sept,20-27 []