1. B.T. Hailpern and S. Owicki, Verifying network protocols using temporal logic, in Proc. Trends and Applications: Computer Network Protocols, IEEE Computer Society, 1980, 18–28.
2. R.L. Schwartzand P.M. Smith, From State Machines to Temporal Logic: Specification Methods for Protocol Standards, in Protocol Specification, Testing and Verification, C. Sunshine ed., North Holland, 1982, 3–19.
3. Z. Manna and A. Pnueli, Verification of concurrent programs: a temporal proof system, CS Tech. Report, Stanford Univ., 1983.
4. N.V. Stenning, A data transfer protocol,Computer Network,1:2(1976), 99–110.
5. E.W. Dijkstra, Cuarded commands, nondeterminacy and formal derivation of programs, in Programming Methodology, A Collection of Articles by Members of IFIP WG2.3., ed. by D. Gries, 1978.