1. The B-Book – Assigning Programs to Meanings;Abrial,1996
2. Refinement and reachability in Event_B;Abrial,2005
3. B-Core UK Ltd., The B-Toolkit, 2006.
4. R.-J. Back, On the correctness of refinement steps in program development, Ph.D. Thesis, Åbo Akademi, Department of Computer Science, Helsinki, Finland, 1978.
5. Correctness Preserving Program Refinements: Proof Theory and Applications, Mathematical Center Tracts 131;Back,1980