1. P.C. Attie and E.A. Emerson, Synthesis of concurrent systems with many similar sequential processes, Proc. 16th ACM Symp. Princ. of Prog. Lang., 1989, pp. 191–201.
2. M. Abadi, L. Lamport, and P. Wolper, Realizable and unrealizable concurrent program specifications, Proc. 16th Int. Colloq. Aut. Lang. Prog., 1989. To appear in the LNCS-series, Springer.
3. J. Bacon, Substance and first-order quantification over individual-concepts, J. Symb. Logic 45, 1980, pp. 193–203.
4. H. Barringer, The use of temporal logic in the compositional specification of concurrent systems, Temporal Logics and Their Applications (A. Galton, ed.), Academic Press, London, 1987, pp. 53–90.
5. H. Barringer, R. Kuiper, and A Pnueli, Now you may compose temporal logic specifications, Proc. 16th ACM Symp. Theory of Comp., 1984, pp. 51–63.