1. The B-Book - Assigning Programs to Meanings;Abrial,1996
2. B#: Toward a synthesis between z and b;Abrial,2003
3. Click'n'prove: Interactive proofs within set theory;Abrial,2003
4. Formal derivation of spanning trees algorithms;Abrial,2003
5. Abrial, J.-R., D. Cansell and D. Méry, Generic development of event based systems (2002), internal report