- Nicolas Stouls, Marie-Laure Potet:
Security Policy Enforcement Through Refinement Process. B 2007: 216-231 - Letu Yang, Michael Poppleton:
Automatic Translation from Combined B and CSP Specification to Java Programs. B 2007: 64-78 - 2006
- Jacques Julliand, Olga Kouchnarenko:
B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings. Lecture Notes in Computer Science 4355, Springer 2006, ISBN 3-540-68760-2 [contents]