1. Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)
2. Abrial, J.-R., Schuman, S.A., Meyer, B.: Specification language. In: McKeag, R.M., Macnaghten, A.M. (eds.) On the Construction of Programs: An Advanced Course, pp. 343–410. Cambridge University Press, Cambridge (1980)
3. Ambert, F., Bouquet, F., Chemin, S., Guenaud, S., Legeard, B., Peureux, F., Utting, M., Vacelet, N.: BZ-testing-tools: A tool-set for test generation from Z and B using constraint logic programming. In: Proceedings of FATES 2002, Formal Approaches to Testing of Software, pp. 105–120, August 2002, Technical Report, INRIA (2002)
4. Ana Cavalcanti, J.W.: A weakest precondition semantics for z. The. Computer Journal 41(1), 1–15 (1998)
5. U.B-Core (UK) Limited, Oxon. B-Toolkit, On-line manual, 1999. Available at
http://www.b-core.com/ONLINEDOC/Contents.html