1. C. Sunshine, “Formal techniques for protocol specification and verification,” Computer, vol 12, No. 9, September 1979, pp. 20–27.
2. T. F. Piatkowski, “The ISO-ANSI open systems reference model—A proposal for a systems approach,” Comput. Networks, vol. 4, No. 3, pp. 111–124, June 1980.
3. IBM Corp., Systems Network Architecture Format and Protocol Reference Manual: Architecture Logic, IBM Form No. SC30–3112-1 (1978).
4. J. P. Gray, “Network services in systems network architecture,” IEEE Trans. Commun. vol. 25, No. 1, January 1977, pp. 104–116.
5. J. D. Atkins, “Path control—The network level of SNA,” Chapter 11 in this book.