1. A Note on Program Verification, P.Aczel, manuscript, January 1982.
2. On an Inference Rule for Parallel Composition, P.Aczel, manuscript, February 1983.
3. Now You May Compose Temporal Logic Specifications, H.Barringer, R.Kuiper and A. Pnueli, Procs. of 16th ACM Symposium on Theory of Computing, May 1984.
4. A Logic Covering Undefinedness in Program Proofs, H. Barringer, J.H. Cheng and C.B. Jones, ACTA Informatica, Vol 21 Part 3, pp251–269, 1984.
5. A Survey of Verification Techniques for Parallel Programs, H.Barringer, to be published, LNCS, Springer-Verlag.