1. J. R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
2. R. S. Arnold. On the Generation and Use of Quantitative Criteria for Assessing Software Maintenance Quality. PhD thesis, University of Maryland, 1983.
3. BEA Systems et al. CORBA Components. Technical Report orbos/99-02-05, Object Management Group, 1999.
4. N. Benton. Pattern transfer: Bridging the gap between theory and practice. Invited talk at MathFIT Instructional Meeting an Recent Advances in Foundations for Concurrency, Imperial College, London, UK, 1998.
5. A. W. Brown and K. C. Wallnau. The current state of CBSE. IEEE Software, Sept/Oct 1998:37–46, 1998.