1. “Protocol testing and verification within AT&T”;Aho;AT&T Technical Journal,1990
2. G. Bonnes, “IBM OSI interoperability services” Proceedings of the IFIP Third International Workshop on Protocol Test Systems, McLean, North Holland Publishing Co., 1990. pp. 411–421.
3. “Finite-state-machine based formal methods in protocol conformance testing: from theory to implementation”;Bosik;Computer Networks and ISDN Systems,1991
4. J. A. Chaves, “Formal methods at AT&T - an industrial usage report”, Proceedings of the FORTE 91 International Conference on Formal Description Techniques, Sydney, Australia, 19–22 November, 1991, pp 83–90.
5. “Algorithmic generation of protocol conformance tests;Dahbura;AT&T Technical Journal,1990