1. Abrial, J.-R.: The B-Book: Assigning programs to meanings. Cambridge University Press, Cambridge (1996)
2. Astesiano, E., Kreowski, H.-J., Krieg-Bruckner, B. (eds.): Algebraic Foundations of Systems Specification. Springer, Heidelberg (1999)
3. America, P.: Issues in the design of a parallel object-oriented language. Formal Aspects of Computing 1(4) (1989)
4. Collette, P.: Design of Compositional Proof Systems Based on Assumption-Commitment Specifications – Application to UNITY. PhD thesis, Louvain-la-Neuve (June 1994)
5. de Roever, W.P.: Concurrency Verification: Introduction to Compositional and Noncompositional Methods. Cambridge University Press, Cambridge (2001)