1. R. Burstall and J. Goguen. An informal introduction to specifications using CLEAR. In R.S. Boyer and J.S. Moore, editors, The Correctness Problem in Computer Science, International Lecture Series in Computer Science, chapter 4, pages 185–213. Academic Press, 1981.
2. D. Carrington, D. Duke, R. Duke, P. King, G. Rose, and G. Smith. Object-Z: An object-oriented extension to Z. In S. Vuong, editor, Formal Description Techniques (FORTE’89). North Holland, 1990.
3. E. Cusack. Inheritance in object-oriented Z. In ECOOP’91: European Conference on Object-Oriented Programming, 1991. To Appear.
4. D. Duke. Structuring Z specifications. In Proceedings of the 14th Australian Computer Science Conference, 1991.
5. D. Duke and R. Duke. Towards a semantics for Object-Z. In D. Bjørner, C.A.R. Hoare, and H. Langmaack, editors, VDM’90: VDM and Z!, volume 428 of Lect. Notes in Comput. Sci., pages 242–262. Springer-Verlag, April 1990.