1. P. Bancroft and I.J. Hayes. Type extension and refinement. In L. Groves and S. Reeves, editors, Formal Methods Pacific (FMP’97), pages 23–39. Springer-Verlag, 1997.
2. D. Carrington, D. Duke, R. Duke, P. King, G. Rose, and G. Smith. Object-Z: An object-oriented extension to Z. In S. Voung, editor, Formal Description Techniques (FORTE’89), pages 281–296. North-Holland, 1989.
3. J. Derrick and E. Boiten. Refinement in Z and Object-Z, Foundations and Advanced Applications. Springer-Verlag, 2001.
4. R. Duke, P. King, G. Rose, and G. Smith. The Object-Z specification language. In T. Korson, V. Vaishnavi, and B. Meyer, editors, Technology of Object-0riented Languages and Systems (TOOLS 5), pages 465–483. Prentice Hall, 1991.
5. R. Duke, G. Rose, and G. Smith. Transferring formal techniques to industry: A case study. In J. Quemada, J. Mañas, and E. Vazquez, editors, Formal Description Techniques (FORTE’90), pages 279–286. North-Holland, 1990.