1. D.Bert, J. P. Bowen, S. King, and M. Waldén, editors. ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, Lecture Notes in Computer Science vol. 2651. Springer, 2003.
2. J. P. Bowen, S. Dunne, A. Galloway, and S. King, editors. ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29–September 2, 2000, Proceedings, Lecture Notes in Computer Science vol. 1878. Springer, 2000.
3. A. Hall. Realising the benefits of formal methods. Journal of Universal Computer Science, 13(5):669–678, 2007.
4. M. C. Henson and S. Reeves. Revising Z: II - logical development. Formal Aspects of Computing, 11(4):381–401, 1999.
5. M. C. Henson, M. Deutsch, and B. Kajtazi. The specification language νZ. Formal Aspects of Computing, 18(3):364–395, 2006.