1. The B Book: Assigning Programs to Meaning;Abrial,1996
2. Bramble M.: Investigating the consistency of combined specification, MPhil Thesis, Royal Holloway, University of London, (2004)
3. Butler, M. and Leuschel, M.: Combining CSP and B for Specification and Property Verification. In Proceedings of Formal Methods 2005 (in press), Newcastle upon Tyne. Fitzgerald, J., Hayes, I. and Tarlecki, A., Eds, (2005)
4. Formalisation of B in Isabelle/HOL, B'98;Chartier,1998
5. Refinement in Z and Object Z;Derrick,2001