1. M. Abadi and L. Lamport. Conjoining specifications. ACM Transactions on Programming Languages and Systems, 17:507–533, 1995.
2. J.R. Abrial. The B Book: Assigning Programs to Meaning. Cambridge University Press, 1996.
3. M. Broy. Compositional refinement of interactive systems. Technical Report 89, Digital, SRC, Palo Alto, 1992.
4. M. Broy and K. Stølen. Focus on system development. Book manuscript, June 1998.
5. K. Buchenrieder, editor. Third International Workshop on Hardware/Software Godesign. IEEE Computer Society Press, 1994.