1. P. Aczel. On an inference rule for parallel composition. Unpublished Paper, February 1983.
2. M. Abadi and L. Lamport. Composing specifications. Technical Report 66, Digital, Palo Alto, 1990.
3. K. R. Apt, A. Pnueli, and J. Stavi. Fair termination revisited with delay. Theoretical Computer Science, 33: 65–84, 1984.
4. H. Barringer, R. Kuiper, and A. Pnueli. Now you may compose temporal logic specifications. In Proc. Sixteenth ACM Symposium on Theory of Computing, pages 51–63, 1984.
5. W. P. de Roever. The quest for compositionality, formal models in programming. In F. J. Neuhold and G. Chroust, editors, Proc. IFIP 85, pages 181–205, 1985.