1. Abrial J.R., The B-Book (1996).
2. Burdy L., Dollé D., B Method Book; Internal document ref. DRL/XT/39.2617.98/DD/AA (1999).
3. Faivre A., Milonnet C., B Validation Book; Internal document ref. DSF/XT/32.1374.96/CM/CM (1999).
4. Burdy L., Meynadier J. M., Automatic Refinement; BUGM at FM’99 (1999)