1. Ada. (1983). The Programming Language Ada. Reference Manual. LNCS 155. Springer-Verlag, Berlin.
2. Aggarwal, S., Kurshan, R.P., and Sabnani, K. (1983). A Calculus for Protocol Specification and Validation. In H. Rudin and C.H. West (Eds.), Protocol Specification, Testing, and Verification, III. North Holland, Amsterdam.
3. Aggarwal, S. and Har'El, Z. (1985a). SIMUL: A Tool for the Simulation and Analysis of Protocols, Tech. Memo, AT&T Bell Labs, Murray Hill, USA.
4. Aggarwal, S., Barbara, D., and Meth, K.Z. (1985b). SPANNER: A Tool for the Specification, Analysis, and Evaluation of Protocols. To appear in IEEE Trans. on Software Engineering.
5. Aggarwal, S., Barbara, D., and Courcoubetis, C. (1987a). LAN Broadcast Protocols for Implementing the CCA Model. Proc. IFIP Int'l Symp. on Protocol specification, Testing, and Verification, 7th, Zurich, May 1987.