1. Collette, P., Jones, C.B.: Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. In: Plotkin, G.D. (ed.) Proof, Language and Interaction, ch. 10, pp. 275–305. MIT Press, Cambridge (2000)
2. Collette, P.: Design of Compositional Proof Systems Based on Assumption- Commitment Specifications – Application to UNITY. PhD thesis, Louvain-la- Neuve (June 1994)
3. Churchland, P.S., Sejnowski, T.J.: The Computational Brain. MIT Press, Cambridge (1994)
4. Dingel, J.: Systematic Parallel Programming. PhD thesis, Carnegie Mellon University (1999)
5. Howkins, T.J., Rector, A.L., Horan, C.A., Nowlan, A., Wilson, A.: An overview of PEN& PAD. Lecture Notes in Medical Informatics, vol. 40, pp. 73–78 (1990)