1. Abrial, J.-R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Lecture Notes in Computer Science;M.J. Butler,1997
3. Butler, M.J.: csp2B: a practical approach to combining CSP and B. FACJ 12(3), 182–198 (2000)
4. Déharbe, D., Moreira, A.M., Muniz Silva, P., Russo Jr., A.: Modelling control systems in b: an industrial case study. In: SBMF 2007, pp. 112–127 (2007)
5. Evans, N., Treharne, H.: Linking Semantic Models to Support CSP||B Consistency Checking. Electr. Notes Theor. Comput. Sci. 145, 201–217 (2006)