1. The B reference manual.;Abrial,1991
2. J.R. Abrial, M.K.O. Lee, D.S. Neilson, P.N. Scharbach, and LH. Sørensen. The B-method. In Prehn and Toetenel [295], pages 398–405.
3. Report on Middle-Gypsy;Akers,1988
4. Gypsy Verification Environment User's Manual.;Akers,1990
5. The Architecture of Microprocessors.;Anceau,1986