1. J.R. Abrial. The B-Book Assigning programs to meanings. Cambridge University Press, 1996.
2. Lect Notes Comput Sci;S. Agerholm,1996
3. B. Barras, S. Boutin, C. Cornes, J. Courant, J.C. Filliatre, E. Giménez, H. Herbelin, G. Huet, C. Muńoz, C. Murthy, C. Parent, C. Paulin, A. Saïbi, and B. Werner. The Coq Proof Assistant Reference Manual — Version V6.1. Technical Report 0203, INRIA, August 1997. http://coq.inria.fr .
4. J.-P. Bodeveix, M. Filali, and C. Munoz. A formalization of the B method in Coq and PVS. In FM’99-B Users Group Meeting — Applying B in an industrial context: Tools, Lessons and Techniques, pages 32–48, 1999.
5. J. Bowen and M. Gordon. Z and HOL. In 8th Z User Meeting (ZUM’94). BCS FACS, June 1994.