1. Abrial J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)
2. Barradas H.R., Bert D.: Specification and proof of liveness properties under fairness assumptions in B event systems. In: Butler, M.J., Petre, L., Sere, K. (eds) IFM, LNCS, vol. 2335, pp. 360–379. Springer, Berlin (2002)
3. Bellegarde, F., Darlot, C., Julliand, J., Kouchnarenko, O.: Reformulation: A way to combine dynamic properties and b refinement. In: Oliveira, J.N., Zave, P. (eds.) FME. Lecture Notes in Computer Science, vol. 2021, pp. 2–19. Springer, Berlin (2001)
4. Bert D., Potet M.-L., Stouls N.: Genesyst: a tool to reason about behavioral aspects of B event specifications. application to security properties. In: Treharne, H., King, S., Henson, M.C., Schneider, S.A. (eds) ZB 2005, LNCS, vol. 3455, pp. 299–318. Springer, Berlin (2005)
5. Bouquet F., Legeard B., Peureux F.: CLPS-B—a constraint solver for B. In: Katoen, J.-P., Stevens, P. (eds) Tools and Algorithms for the Construction and Analysis of Systems. LNCS, vol. 2280, pp. 188–204. Springer, Berlin (2002)