1. Abrial, J.R.: The B-Book: Assigning programs to meanings. Cambridge University Press, Cambridge (1996)
2. Lecture Notes in Computer Science;J.R. Abrial,1998
3. Lecture Notes in Computer Science;M. Butler,1999
4. Evans, N., Treharne, H., Laleau, R., Frappier, M.: How to verify dynamic properties of information systems. In: SEFM 2004, Beijing, China, September 2004, pp. 416–425. IEEE Computer Society Press, Los Alamitos (2004)
5. Facon, P., Laleau, R., Nguyen, H.P.: Mapping object diagrams into B specifications. In: Methods Integration Workshop, eWiC, Leeds, UK, March 1996, Springer, Heidelberg (1996)