1. M Ainsworth, AH Cruickshank, LJ Groves, and PJL Wallis. Viewpoint specification and Z. Information and Software Technology, 36(1):43–51, February 1994.
2. M Ainsworth and PJL Wallis. Co-refinement. In D Till, editor, Proc. 6th Refinement Workshop, City University, London, 5th–7th January 1994. Springer-Verlag.
3. A. J. Alencar and J. A. Goguen. OOZE: An object oriented Z environment. In P. America, editor, ECOOP '91 — Object-Oriented Programming, LNCS 512, pages 180–199. Springer-Verlag, 1991.
4. R. D. Arthan. On free type definitions in Z. In J. E. Nicholls, editor, Sixth Annual Z User Workshop, pages 40–58, York, December 1991. Springer-Verlag.
5. G. Cowen, J. Derrick, M. Gill, G. Girling (editor), A. Herbert, P. F. Linington, D. Rayner, F. Schulz, and R. Soley. Prost Report of the Study on Testing for Open Distributed Processing. APM Ltd, 1993.