1. Martin Buechi and Ralph Back. Compositional symmetric sharing in B. In FM’99 — Formal Methods, volume 1708 of Lecture Notes in Computer Science, pages 431–451. Springer-Verlag, 1999.
2. J. C. M. Baeten and J. F. Groote, editors. CONCUR’91 — Proceedings of the 2nd International Conference on Concurrency Theory, volume 527 of Lecture Notes in Computer Science. Springer-Verlag, 1991.
3. Pierre Collette and Cliff B. Jones. Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. In Gordon Plotkin, Colin Stirling, and Mads Tofte, editors, Proof Language and Interaction, chapter 10, pages 275–305. MIT Press, 2000.
4. K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.
5. Ernie Cohen. Separation and reduction. In Mathematics of Program Construction, 5th International Conference, Portugal, July 2000. Science of Computer Programming, pages 45–59. Springer-Verlag, 2000.