1. J.R. Abrial. The B-Book. Cambridge University Press, 1996.
2. K. Araki, A. Galloway and K. Taguchi, editors. Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods. Springer, 1999.
3. R.D. Arthan. On free type definitions in Z. In [51], pages 40–58.
4. D. Azada and P. Muenchaisri, editors. APSEC 2003: 10th Asia-Pacific Software Engineering Conference. IEEE Computer Society Press, 2003.
5. R. Barden, S. Stepney and D. Cooper. Z in Practice. Prentice Hall, 1994.