1. Abrial, J.R.: The B Book: Assigning Programs to Meanings, 1st edn. Cambridge University Press, USA (1996)
2. Aljer, P.D., Boulanger, S.T.J.-L., Bhdl, G.M.: Circuit Design in B. A. In: ACSD, Third International Conference on Application of Concurrency to System Design, pp. 241–242 (2003)
3. Casset, L., Lanet, J.L.: A Formal Specification of the Java Bytecode Semantics using the B method. Technical Report, Gemplus (1999)
4. Dantas, B., Déharbe, D., Galvão, S.L., Moreira, A.M., Medeiros Jr., V.G.: Applying the B Method to Take on the Grand Challenge of Verified Compilation. In: SBMF, Savaldor (2008), SBC
5. Lecture Notes in Computer Science;C.A.R. Hoare,2005