1. Aggarwal S., Kurshan R. P., Sabnani K. K., ”A Calculus for Protocol Specification and Validation”, in Protocol Specification, Testing and Verification III, H. Ruden, C. West (ed's), North-Holland 1983, 19–34.
2. Attie, P. C., and Emerson, E. A., Synthesis of Many Processes, POPL89
3. Clarke, E. M., and Emerson, E. A., Design and Verification of Synchronization Skeletons using Branching Time Temporal Logic. Logics of Programs Workshop 1981, Springer LNCS no. 131.
4. Clarke, E. M., Filkorn, T., Jha, S. Exploiting Symmetry in Temporal Logic Model Checking, 5th CAV, June 1993 (this proceedings).
5. Clarke, E. M., Grumberg, O., and Brown, M., Characterizing Kripke Structures in Temporal Logic, Theor. Comp. Sci., 1988