1. The B-Book;Abrial,1996
2. Extending B without changing it (for developing distributed systems);Abrial,1996
3. Specification and design of a transmission protocol by successive refinements using B;Abrial,1996
4. Introducing dynamic constraints in B;Abrial,1998
5. A theory of timed automata;Alur;Theoretical Computer Science,1994