Definition of Language

• G. Smith. The Object-Z Specification Language. Kluwer Academic Publishers, 2000. 
• R. Duke and G. Rose. Formal Object-Oriented Specification Using Object-Z. MacMillan, 2000.
• R. Duke, G. Rose and G. Smith. Object-Z: a Specification Language Advocated for the Description of Standards. Computer Standards and Interfaces, 17:511-533. North-Holland, 1995. 
• G. Smith. An Object-Oriented Approach to Formal Specification. PhD Thesis, University of Queensland, 1992.
• R. Duke, P. King, G. Rose and G. Smith. The Object-Z Specification Language. In Technology of Object-Oriented Languages and Systems (TOOLS 5). Prentice-Hall, 1991. 
• D. Carrington, D. Duke, R. Duke, P. King, G. Rose and G. Smith. Object-Z: An Object-Oriented Extension to Z. In Formal Description Techniques (FORTE'89). North-Holland, 1990.

Language Features

• G. Smith. Recursive Schema Defintions in Object-Z. In ZB2000: International Conference of B and Z Users, volume 1878 of Lecture Notes in Computer Science. Springer-Verlag, 2000.
• A. Griffiths. `self'-Conscious Objects in Object-Z. In Technology of Object Oriented Languages and Systems, 1998. IEEE Computer Society Press. 
• J.S. Dong. Formal Object Modelling Techniques and Denotational Semantics Studies, PhD Thesis, University of Queensland, 1996.
• J.S. Dong, Living with Free Type and Class Union. In Asia-Pacific Software Engineering Conference (APSEC95). IEEE Computer Society Press, 1995.
• J.S. Dong and R. Duke. Exclusive Control within Object Oriented Systems. In Technology of Object-Oriented Languages and Systems: TOOLS 18. Prentice Hall, 1995. 
• J.S. Dong and R. Duke. The Geometry of Object Containment. Object-Oriented Systems (OOS), Vol. 2, No. 1, pages 41-63, March 1995. 
• J.S. Dong, G. Rose and R. Duke. The Role of Secondary Attributes in Formal Object Modelling. In IEEE International Conference on Engineering Complex Computer Systems (ICECCS'95), 1995. 
• R. Duke and G. Rose. Modelling Object Identity. SVRC Technical Report 92-11 , 1992.

Semantics

• S. Dunne. Understanding Object-Z Operations as Generalised Substitutions. In International Conference on Integrated Formal Methods (IFM 2004), volume 2999 of Lecture Notes in Computer Science. Springer-Verlag, 2004.
• A. Griffiths. A Semantics for Recursive Operations in Object-Z. In Formal Methods Pacific (FMP'97), 1997. Springer-Verlag. 
• A. Griffiths. Object-oriented Operations Have Two Parts. In 2^nd BCS-FACS Northern Formal Methods Workshop, Electronic Workshops in Computing. Springer-Verlag, 1997. 
• A. Griffiths. A Formal Semantics to Support Modular Reasoning in Object-Z. PhD Thesis, University of Queensland, 1997.
• A. Griffiths, A Semantics for a Simple Sub-language of Object-Z, SVRC Technical Report 96-33, 1996.
• A. Griffiths. An Extended Semantic Foundation for Object-Z. In Asia-Pacific Software Engineering Conference (APSEC'96). IEEE Computer Society Press, 1996. 
• A. Griffiths and G. Rose. A Semantic Foundation for Object Identity in Formal Specification. In Object Oriented Systems 2. Chapman and Hall, 1995. 
• G. Smith. A Fully Abstract Semantics of Classes for Object-Z. Formal Aspects of Computing, 7(3):289-313. Springer-Verlag, 1995. 
• D. Duke and R. Duke. Towards a semantics for Object-Z. In VDM'90:VDM and Z!, volume 428 of Lecture Notes in Computer Science. Springer-Verlag, 1990.

Refinement and Proof

• T. McComb and G. Smith. Architectural Design in Object-Z. In Australian Software Engineering Conference (ASWEC 2004). IEEE Computer Society, 2004.
• T. McComb. Refactoring Object-Z Specifications. In Fundamental Approaches to Software Engineering (FASE 2004), volume 2984 of Lecture Notes in Computer Science. Springer-Verlag, 2004.
• G. Smith and K. Winter. Proving temporal properties of Z specifications using abstraction. In International Conference of Z and B Users (ZB 2003), volume 2561 of Lecture Notes in Computer Science. Springer-Verlag, 2003.
• K. Winter and G. Smith. Compositional verification for Object-Z. In International Conference of Z and B Users (ZB 2003), volume 2561 of Lecture Notes in Computer Science. Springer-Verlag, 2003.
• G. Smith. Introducing Reference Semantics via Refinement. In International Conference on Formal Engineering Methods (ICFEM 2002), volume 2495 of Lecture Notes in Computer Science. Springer-Verlag, 2002.
• C. Bolton and J. Davies. Refinement in Object-Z and CSP. In International Conference on Integrated Formal Methods (IFM 2002), volume 2335 of Lecture Notes in Computer Science. Springer-Verlag, 2002. 
• J. Derrick and E. Boiten. Refinement in Z and Object-Z, Foundations and Advanced Applcations. Springer-Verlag, 2001.
• C. Taylor, J. Derrick and E. Boiten. A Case Study in Partial Specification: Consistency and Refinement for Object-Z. International Conference on Formal Engineering Methods (ICFEM 2000). IEEE, 2000.
• P. Gruer, V. Hilaire and A. Koukam. Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem. FASE 2000, volume 1783 of Lecture Notes in Computer Science. Springer-Verlag, 2000.
• A. Griffiths. Modular Reasoning in Object-Z. In Asia-Pacific Software Engineering Conference and International Computer Science Conference. IEEE Computer Society Press, 1997. 
• G. Smith. Formal Verification of Object-Z Specifications. SVRC Technical Report 95-55, 1995.
• G. Smith. Reasoning about Object-Z specifications. In Asia-Pacific Software Engineering Conference (APSEC '95). IEEE Computer Society Press, 1995.
• G. Smith. A Logic for Object-Z (Additional Rules). SVRC Technical Report 95-26, 1995.
• G. Smith. Extending W for Object-Z. In 9^th International Conference of Z Users (ZUM'95), volume 967 of Lecture Notes in Computer Science. Springer-Verlag, 1995.

Testing

• L. Wildman, R. Duke and P. Strooper. Viewpoint-Based Testing of Concurrent Components. In International Conference on Integrated Formal Methods (IFM 2004), volume 2999 of Lecture Notes in Computer Science. Springer-Verlag, 2004.
• D. Carrington, I. MacColl, J. McDonald, L. Murray and P. Strooper. From Object-Z Specifications to ClassBench Test Suites, Software Testing, Verification and Reliability, 2000. 
• K. Periyasamy, V.S. Alagar, and S. Subramanian. Deriving Test Cases from Object-Z Specifications, TOOLS USA'98 (Technology of Object-Oriented Languages and Systems). IEEE Computer Society, 1998.
• I. MacColl, L. Murray, P. Strooper and D. Carrington. Specification-based class testing: A case study. In 2^nd International Conference on Formal Engineering Methods (ICFEM'98). IEEE Computer Society, 1998.
• J. McDonald and P. Strooper. Translating Object-Z Specifications to Passive Test Oracles. In 2^ndInternational Conference on Formal Engineering Methods (ICFEM'98). IEEE Computer Society, 1998. 
• L. Murray, D. Carrington, I. MacColl, J. McDonald and P. Strooper. Formal Derivation of Finite State Machines for Class Testing . In ZUM '98: The Z Formal Specification Notation. Springer-Verlag, 1998. 
• L. Murray, J. McDonald and P. Strooper. Specification-based Class Testing with ClassBench. In Asia-Pacific Software Engineering Conference. IEEE Computer Society, 1998. 
• D. Carrington, I. MacColl, J. McDonald, L. Murray and P. Strooper, From Object-Z Specifications to ClassBench Test Suites, SVRC Technical Report 98-22, 1998.
• J. McDonald, L. Murray and P. Strooper. Translating Object-Z Specifications to Object-Oriented Test Oracles. In Asia-Pacific Software Engineering Conference and International Computer Science Conference. IEEE Computer Society, 1997. 
• L. Murray, D. Carrington, I. MacColl and P. Strooper. Extending Test Templates with Inheritance. In Australian Software Engineering Conference {ASWEC'97). IEEE Computer Society, 1997. 
• R. Fletcher and A. S. M. Sajeev. A Framework for Testing Object Oriented Software Using Formal Specifications. In Reliable Software Technologies, volume 1088 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
• J. Chen and S. Liu. An Approach to Testing Object-Oriented Formal Specifications. Department of Software Development, Monash University, Australia, 1994.

Applications

• P. Gruer, V. Hilaire and A. Koukam. Heterogeneous formal specification based on Object-Z and state charts: semantics and verification. Journal of Systems and Software, 70(1-2):95 105, 2004.
• V. Hilaire, O. Simonin, A. Koukam and J. Ferber. A Formal Approach to Design and Reuse Agent and Multiagent Models. In Agent Oriented Software Engineering (AOSE 04). Lecture Notes in Computer Science, 2004.
• V. Hilaire, A. Koukam and P. Gruer. A Mechanism for Dynamic Role Playing. In Net.ObjectDays 2004, 2004.
• A.A.F. Brandao, P. Alencar and C.J.P. de Lucena. Extending (Object-)Z for multi-agent systems specification. In International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2004), Lecture Notes in Artificial Intelligence. Springer-Verlag, 2004.
• G. Smith. A Formal Framework for Modelling and Analysing Mobile Systems. In Australasian Computer Science Conference (ACSC 2004), Australian Computer Society, 2004.
• R. Duke, L. Wildman and B. Long. Modelling Java Concurrency with Object-Z. In International Conference on Software Engineering and Formal Methods (SEFM 2003). IEEE Computer Society Press, 2003.
• K. Cetnarowicz, P. Gruer, V. Hilaire, A. Koukam. A Formal Specification of M-Agent Architecture. In International Workshop of Central and Eastern Europe on Multi-Agent Systems (CEEMAS 2001), volume 2296 of Lecture Notes in Computer Science, 2002.
• G. Smith. State-Based Approaches: From Z to Object-Z. In Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches (J. Derrick and H. Bowman, editors). Cambridge University Press, 2002. 
• J. Sun and J.S. Dong. Specifying and Reasoning about Generic Architecture in TCOZ. In Asia-Pacific Software Engineering Conference (APSEC'02), IEEE Press 2002.
• P. Gruer, V. Hilaire, A. Koukam. Towards Verification of Multi-Agent Systems. In International Conference on MultiAgent Systems (ICMAS 2000), 2000.
• V. Hilaire, A. Koukam, P. Gruer and J.-P. Mu"ller. Formal Specification and Prototyping of Multi-agent Systems. In Engineering Societies in the Agents World: First International Workshop (ESAW 2000), volume 1972 of Lecture Notes in Computer Science. Springer-Verlag, 2000.
• Woon Kiong Tan, A Semantic Model of A Small Typed Functional Language using Object-Z. In 7th Asia-Pacific Software Engineering Conference (APSEC 2000), IEEE Computer Society, 2000.
• A. Hussey. Using Design Patterns to derive PAC Architectures from Object-Z Specifications. In Technology of Object-Oriented Languages and Systems: TOOLS 32, 1999.
• A. Hussey and D. Carrington. Model-based Design of User-Interfaces using Object-Z. In Computer-Aided Design of User Interfaces II, 1999.
• D.Duce, D.Duke, G.Faconti, I.Herman. The Changing Face of Standardization: A Place for Formal Methods? Formal Aspects of Computing, Vol. 11:1-20, Springer Verlag.
• A. Hussey and D. Carrington, Platform Independent Graphical User Interface Design, SVRC Technical Report 99-04, 1999.
• A. Hussey.Formal Object-Oriented User-Interface Design, SVRC Technical Report 99-09, 1999.
• A. Hussey and D. Carrington. An Empirical Study of Formal User-Interface Design, HCI Letters, 1(1):19-24, 1998. 
• A. Hussey and D. Carrington. Which Widgets? Deriving Implementations from User-Interface Specifications. In Design, Specification and Verification of Interactive Systems '98. Springer-Verlag, 1998.
• A. Hussey and D. Carrington. Which Widgets? Transforming User-Interface Specifications to Implementations. In 21^st Australasian Computer Science Conference. Springer-Verlag, 1998.
• D. Kreuz. Formal Specification of CORBA Services using Object-Z. In 2^nd International Conference on Formal Engineering Methods (ICFEM,98). IEEE Computer Society, 1998.
• J.-C. Real. Object-Z Specification of the CORBA Repository Server. Technical Report 351, Département d'Informatique, Université Libre de Bruxelles, 1997.
• J. Dong, R. Duke and G. Rose. An Object-Oriented Denotational Semantics of A Small Programming Language, Object Oriented Systems, 1997.
• A. Hussey. Object-oriented Specification and Design of User-interfaces. In Human-Computer Interaction INTERACT '97. Chapman and Hall, 1997.
• A. Hussey and D. Carrington. Comparing the MVC and PAC Architectures: a Formal Perspective, IEE Proceedings of Software Engineering, 144(4):224-236, 1997. 
• Hussey and D. Carrington. Specifying the UQ* user-interface with Object-Z. In Asia-Pacific Software Engineering Conference. IEEE Computer Society, 1997. 
• D.J.Duke, D.A.Duce, I.Herman, G.Faconti. Specifying the PREMO Synchronization Objects. In DSV-IS'97, 1997.
• D. Duce, D. Duke, G. Faconti, I. Herman, M. Massink. PREMO: a Case Study in Formal Methods and Multimedia System Specification. Reports of the Centre for Mathematics and Computer Sciences, INS-R9708, November 1997, ISSN 1386-3681.
• A. Hussey and D. Carrington. Using Object-Z to compare the MVC and PAC Architectures. In Formal Aspects of The Human Computer Interface, BSC Formal Aspects of Computing Science Workshop, Workshops in Computing. Springer-Verlag, 1996.
• A. Hussey and D. Carrington. Using Object-Z to Specify a Web Browser Interface. In 6^th Australian Conference on Computer-Human Interaction (OZCHI'96). IEEE Computer Society Press, 1996. 
• A. Hussey and D. Carrington, Applying Design Patterns to Object-Z Specifications of User-interfaces, SVRC Technical Report 96-30, 1996.
• S. Atkinson. A Formal Model for Integrated Retrieval from Software Libraries. In Technology of Object-Oriented Languages and Systems: TOOLS 21. Prentice Hall, 1996. 
• J.S. Dong and R. Duke. A Formal Object Model of an Object-Oriented Programming Language. In Technology of Object-Oriented Languages and Systems: TOOLS 20, Prentice-Hall, 1996. 
• S. Ling and B. Durnota. Specifying the Just-In-Time Kanban System Using Two Object-Oriented Modelling Techniques. International Journal of Operations & Production Management, 15(9):184-198, 1995.
• A. Hussey and D. Carrington. Comparing two user-interface architectures: MVC and PAC. In QCHI '95 Symposium, Computer Human Interaction Special Interest Group of the Ergonomics Society of Australia, 1995. 
• S. Atkinson. Formalizing the Eiffel Library Standard. In Technology of Object-Oriented Languages and Systems: TOOLS 18. Prentice Hall, 1995. 
• S. Atkinson and R. Duke. Behavioural retrieval from class libraries. In 18^th Australasian Computer Science Conference (ACSC'95), Vol. 17, No. 1, 1995.
• D.C. Fowler, P.A. Swatman and E.N. Wafula. Formal Methods in the I.S. Domain: Introducing a Notation for Presenting Object-Z Specifications, Object-Oriented Systems 2 (2),1995.
• J. van Ossenbruggen and A. Eliëns. The Dexter Hypertext Reference Model in Object-Z. Vrije Universiteit, Fac. of Mathematics and Computer Sciences, The Netherlands, 1995.
• J.S. Dong, R. Duke and G. Rose. An Object-Oriented Approach to the Semantics of Programming Languages. In 17^th Annual Computer Science Conference, (ACSC-17), 1994.
• P.A. Swatman. Using Object-Z in the Specification of Information Systems. In Colorado Seminar Series in Advanced Software Topics,1993.
• G. Smith and R. Duke. Specifying Concurrent Systems Using Object-Z. In 15^th Australian Computer Science Conference (ACSC-15), 1992.
• P.A. Swatman, P.M.C. Swatman and R. Duke. Electronic Data Interchange: A High-Level Formal Specification in Object-Z", 9^th Australian Conference on Software Engineering (ASWEC'91), 1991.
• P.A. Swatman. Using Object-Z in the Specification of Information Systems. In 1^st Australian Workshop on the Object-Oriented Approach, University of Technology, Sydney, 1991.
• R. Duke, G. Rose and A. Lee. Object-Oriented Protocol Specification. In Protocol Specification, Testing and Verification X (PSTV X). North-Holland, 1990.
• R. Duke, G. Rose and G. Smith. Transferring Formal Techniques to Industry: A Case Study. In Formal Description Techniques (FORTE'90). North-Holland, 1990.
• G. Smith and R. Duke. Modelling a Cache Coherence Protocol using Object-Z. In 13^th Australian Computer Science Conference (ACSC-13), 1990.

Tools

• J.S. Dong, Y.F. Li, J. Sun, J. Sun and H. Wong. XML-Based Static Type Checking and Dynamic Visualisation for TCOZ. In International Conference on Formal Engineering Methods (ICFEM 2002), volume 2495 of Lecture Notes in Computer Science. Springer-Verlag, 2002.
• G. Smith, F. Kammüller and T. Santen. Encoding Object-Z in Isabelle/HOL. In ZB2002: International Conference of B and Z Users, Lecture Notes in Computer Science, Springer-Verlag, 2002. 
• G. Kassel and G. Smith. Model Checking Object-Z Classes: Some Experiments with FDR. In Asia-Pacific Software Engineering Conference (APSEC 2001). IEEE Press, 2001.
• J. Sun, J.S. Dong, J. Liu and H. Wang. Z family on the web with their UML photos. TRA1-01, School of Computing, National University of Singapore, 2001. 
• J. Sun, J.S. Dong, J. Liu and H. Wang. Object-Z Web Environment and Projections to UML. In International World Wide Web Conference (WWW-10). ACM Press, 2001.
• C. Fischer and H. Wehrheim. Model-Checking CSP-OZ Specifications with FDR. In Integrated Formal Methods (IFM 99). Springer-Verlag, 1999.
• T. Santen. A Mechanised Logical Model of Z and Object-Oriented Specification. PhD thesis, Technical University of Berlin, 1999.
• L. Murray, D. Carrington, I. MacColl and P. Strooper. TinMan - A Test Derivation and Management Tool for Specification-based Class Testing. In Technology of Object-Oriented Languages and Systems, TOOLS 32, 1999. 
• L. Murray, Software Requirements Specification for TinMan - version 1.0, SVRC Technical report 99-02, 1999.
• T. Santen. A theory of structured model-based specifications in Isabelle/HOL. In Theorem Proving in Higher-Order Logics, volume 1275 of Lecture Notes in Computer Science. Springer-Verlag, 1997.
• W. Johnston. An Object-Z browser. SVRC Technical Report 97-27, 1997.
• W. Johnston, A Type Checker for Object-Z. SVRC Technical Report 96-24, 1996.

Comparison with other object-oriented extensions of Z

• K. Lano and H. Haughton, editors. Object Oriented Specification Case Studies. Prentice Hall, 1994.
• S. Stepney, R. Barden and D. Cooper, editors. Object Orientation in Z. Springer-Verlag, 1992.
• S. Stepney, R. Barden, and D. Cooper. A Survey of Object Orientation in Z. Software Engineering Journal, 7(2):150-160, 1992.

Integration with Process Algebras

• K. Taguchi, J.S. Dong and G. Ciobanu. Relating Pi-calculus to Object-Z. In IEEE International Conference on Engineering Complex Computer Systems (ICECCS'04). IEEE Press, 2004.
• J. Derrick and G. Smith. Structural refinement of systems specified in Object-Z and CSP. Formal Aspects of Computing, 15(1):1-27. Springer-Verlag, 2003.
• G. Smith and J. Derrick. Abstract Specification in Object-Z and CSP. In International Conference on Formal Engineering Methods (ICFEM 2002), volume 2495 of Lecture Notes in Computer Science. Springer-Verlag, 2002.
• K. Taguchi and J.S. Dong. An Overview of Mobile Object-Z. In International Conference on Formal Engineering Methods (ICFEM 2002), volume 2495 of Lecture Notes in Computer Science. Springer-Verlag, 2002.
• G. Smith and J. Derrick. Specification, refinement and verification of concurrent systems - an integration of Object-Z and CSP, Formal Methods in System Design, 18(3):249-284. 2001. 
• J. Derrick and G. Smith. Structural Refinement of Object-Z / CSP specifications. In Integrated Formal Methods (IFM 00), volume 1945 of Lecture Notes in Computer Science. Springer-Verlag, 2000.
• H. Wehrheim. Data Abstraction for CSP-OZ. In FM'99: World Congress on Formal Methods, Lecture Notes in Computer Science. Springer-Verlag, 1999.
• I. MacColl and D. Carrington. Specifying Interactive Systems in Object-Z and CSP. In Integrated Formal Methods (IFM 99). Springer-Verlag, 1999.
• J. Derrick and E. Boiten. Specifying Component and Context Specification using Promotion. In Integrated Formal Methods (IFM 99). Springer-Verlag, 1999.
• I. MacColl and D. Carrington. Extending the Test Template Framework for specification-based testing of interactive systems. In Australasian Computer Science Conference (ACSC99). Springer-Verlag, 1999.
• C. Fischer and G. Smith. Combining CSP and Object-Z: Finite Trace or Infinite Trace Semantics? In Formal Description Techniques and Protocol Specification, Verification, and Testing (FORTE/PSTV'97). Chapman & Hall, 1997.
• G. Smith and J. Derrick. Refinement and verification of concurrent systems specified in Object-Z and CSP. In 1^st IEEE International Conference on Formal Engineering Methods (ICFEM'97). IEEE Computer Press, 1997.
• G. Smith. A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems. In Formal Methods Europe (FME'97), volume 1313 of Lecture Notes in Computer Science. Springer-Verlag, 1997.
• C. Fischer. CSP-OZ - a combination of CSP and Object-Z. In Formal Methods for Open Object-Based Distributed Systems. Chapman & Hall, 1997.
• J. Derrick, E. Boiten, H. Bowman and M. Steen. Translating LOTOS to Object-Z. In 2^nd BCS-FACS Northern Formal Methods Workshop, Workshops in Computing. Springer-Verlag, 1997.

Extensions for Real-Time and Hybrid Systems

• S.C. Qin, J.S. Dong and W.N. Chin. A Semantic Foundation of TCOZ in Unifying Theory of Programming. In International FME Symposium (FM'03). Lecture Notes in Computer Science. Springer-Verlag, 2003.
• J. Derrick. Timed CSP and Object-Z. In International Conference of Z and B Users (ZB 2003), volume 2561 of Lecture Notes in Computer Science. Springer-Verlag, 2003.
• G. Smith and I. Hayes. An Introduction to Real-Time Object-Z. Formal Aspects of Computing, 13(2):128-141, 2002. 
• B. Mahony and J.S. Dong. Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. Formal Aspects of Computing, 13(2):142-160, 2002.
• G. Smith. An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems. In International Conference on Integrated Formal Methods (IFM 2002), volume 2335 of Lecture Notes in Computer Science. Springer-Verlag, 2002. 
• J. Hoenicke and E.-R. Olderog. Combining Specification Techniques for Processes, Data and Time. In International Conference on Integrated Formal Methods (IFM 2002), volume 2335 of Lecture Notes in Computer Science. Springer-Verlag, 2002. 
• J. Liu, J.S. Dong and J. Sun. TRMCS in TCOZ. In 10th IEEE International Workshop on S/W Spec & Design (IWSSD'00), IEEE Press, 2000. 
• G. Smith and I. Hayes. Structuring Real-Time Object-Z Specifications. In Integrated Formal Methods (IFM 00), volume 1945 of Lecture Notes in Computer Science. Springer-Verlag, 2000.
• B. Mahony and J.S. Dong. Timed Communicating Object Z. IEEE Transactions on Software Engineering, 26(2):150-177, 2000.
• J.S. Dong, B. Mahony and N. Fulton. Capturing Periodic Concurrent Interactions of Mission Computer Tasks. In 6th Asia-Pacific Software Engineering Conference (APSEC'99), IEEE Computer Society Press, 1999. 
• J.S. Dong, B. Mahony and N. Fulton. Modeling Aircraft Mission Computer Task Rates. In FM'99: World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science. Springer-Verlag, 1999.
• B. Mahony and J.S. Dong. Sensors and Actuators in TCOZ. In FM'99: World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science. Springer-Verlag, 1999.
• G. Smith and I. Hayes. Towards Real-Time Object-Z. In Integrated Formal Methods (IFM 99). Springer-Verlag, 1999.
• B. Mahony and J.S. Dong. Overview of the Semantics of TCOZ. In Integrated Formal Methods (IFM 99). Springer-Verlag, 1999.
• J.S. Dong and B. Mahony. Active Objects in TCOZ. In 2^nd IEEE International Conference on Formal Engineering Methods (ICFEM'98). IEEE Computer Society Press, 1998.
• B. Mahony and J.S. Dong. Network Topology and a Case Study in TCOZ. In 11^th International Conference of Z Users, volume 1493 of Lecture Notes in Computer Science. Springer-Verlag, 1998.
• B. Mahony and J.S. Dong. Blending Object-Z and Timed CSP: An introduction to TCOZ. In 20^th International Conference on Software Engineering (ICSE'98). IEEE Computer Society Press, 1998.
• K. Periyasamy and V.S. Alagar. Extending Obejct-Z for specifying real-time systems. In TOOLS USA'97: Technology of Object-Oriented Languages and Systems. IEEE Computer Society Press, 1998.
• V. Friesen, A. Nordwig and M. Weber. Object-oriented specification of hybrid systems using UML^h and ZimOO. In 11^th International Conference of Z Users, volume 1493 of Lecture Notes in Computer Science. Springer-Verlag, 1998.
• V.S. Alagar and K. Periyasamy, Real-Time Object-Z: A Language for the Specification and Design of Real-Time Reactive System, Technical Report, Department of Computer Science, Concordia University, 1996.
• J.S. Dong, J. Colton and L. Zucconi. A formal object approach to real-time specification. In 3^rd Asia-Pacific Software Engineering Conference (APSEC'96). IEEE Computer Society Press, 1996.

Animation and prototyping

• T. McComb and G. Smith. Animation of Object-Z specifications using a Z animator. In International Conference on Software Engineering and Formal Methods (SEFM 2003). IEEE Computer Society Press, 2003.
• J. Sun, J.S. Dong, J. Liu and H. Wang. An XML/XSL Approach to Visualize and Animate TCOZ. In 8th Asia-Pacific Software Engineering Conference (APSEC'01), IEEE Press, 2001.
• C. Fischer. Combination and implementation of processes and data: from CSP-OZ to Java. PhD thesis. University of Oldenburg, 2000.
• C. Fischer. Software development with Object-Z, CSP and Java: A pragmatic link from formal specifications to programs. In Formal Techniques for Java Programs, Technical Report 251, Fernuniversität Hagen, 1999.
• A. Griffiths. From Object-Z to Eiffel: a rigorous development method. In Technology of Object-Oriented Languages and Systems: TOOLS 18. Prentice Hall, 1995.
• M. Fukagawa, T. Hikita, and H. Yamazaki. A Mapping System from Object-Z to C++. In 1^st Asia-Pacific Software Engineering Conference (APSEC94). IEEE Computer Society Press, 1994.
• W. Hasselbring. Animation of Object-Z specifications with a set-oriented prototyping language. In 8^th Z User Meeting. Springer-Verlag, 1994.
• W. Johnston and G. Rose. Guidelines for the Manual Conversion of Object-Z to C++, SVRC Technical report 93-14,1993.
• G.-H.B. Rafsanjani. and S.J. Colwill. From Object-Z to C++: A Structural Mapping. In Z User Meeting (ZUM'92). Springer-Verlag, 1992.

Integration with Graphical Techniques

• M. Moller, E-R. Olderog, H. Rasch and H. Wehrheim. Linking CSP-OZ with UML and Java: A Case Study. In International Conference on Integrated Formal Methods (IFM 2004), volume 2999 of Lecture Notes in Computer Science. Springer-Verlag, 2004.
• J.S. Dong, S.C. Qin and J. Sun. Generating MSCs from an Integrated Formal Specification Language. In International Conference on Integrated Formal Methods (IFM 2004), volume 2999 of Lecture Notes in Computer Science. Springer-Verlag, 2004.
• N. Amálio and F. Polack. Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z. In International Conference of Z and B Users (ZB 2003), volume 2561 of Lecture Notes in Computer Science. Springer-Verlag, 2003.
• D. Roe, K. Broda, A. Russo. Mapping UML Models incorporating OCL Constraints into Object-Z. Technical Report 2003/9, Imperial college London.
• M. Heisel, T. Santen and J. Souquieres. Towards a Formal Model of Software Components. In International Conference on Formal Engineering Methods (ICFEM 2002), volume 2495 of Lecture Notes in Computer Science. Springer-Verlag, 2002.
• H. Miao, L. Lui and L. Li. Formalizing UML Models with Object-Z. In International Conference on Formal Engineering Methods (ICFEM 2002), volume 2495 of Lecture Notes in Computer Science. Springer-Verlag, 2002.
• S.-K. Kim and D. Carrington. A Formal Metamodeling Approach to transformation between the UML State Machine and Object-Z. In International Conference on Formal Engineering Methods (ICFEM 2002), volume 2495 of Lecture Notes in Computer Science. Springer-Verlag, 2002.
• S.-K. Kim and D. Carrington. A Formal Model of the UML Metamodel: the UML State Machine and its Integrity Constraints. In ZB2002: International Conference of B and Z Users, Lecture Notes in Computer Science, 2002.
• S.-K. Kim and D. Carrington. L'Objet, 7(1), 2001.
• J. Liu, J.S. Dong, B. Mahony and K. Shi. Linking UML with Integrated Formal Techniques. In Unified Modeling Language: Systems Analysis, Design, and Development Issues (K. Siau and T. Halpin, editors), 2001. 
• A. Moreira and J. Arau'jo. Generating Object Z specifications from Use Cases. Enterprise Information Systems, J. Filipe (ed), Kluwer Academic Press, pp. 43-51, ISBN 0-7923-6239-X, 2000.
• J. Arau'jo and A. Moreira. Specifying the Behaviour of UML Collaborations Using Object-Z. Association for Information Systems, Americas Conference on Information, Systems (AMCIS), Object-Oriented Software Development, Mini-Track, 2000.
• S-K. Kim and D. Carrington, UML Metamodel Formalization with Object-Z: the State Machine Package, SVRC Technical Report 00-29, 2000.
• S-K. Kim and D. Carrington, An Integrated Framework with UML and Object-Z for Developing a Precise Specification, 7th Asia-Pacific Software Engineering Conference (APSEC 2000), IEEE Computer Society, 2000.
• S-K. Kim and D. Carrington. A Formal Mapping between UML Models and Object-Z Specifications. In ZB2000: International Conference of B and Z Users, volume 1878 of Lecture Notes in Computer Science, 2000. 
• A. Moreira and J. Arau'jo. Generating Object Z specifications from Use Cases. International Conference on Enterprise Information Systems (ICEIS'99), Setu'bal, Portugal, 1999. 
• S.-K. Kim amd D. Carrington. Formalising the UML class diagram using Object-Z. In 2^nd International Conference on Unified Modelling Language (UML'99), volume 1732 of Lecture Notes in Computer Science. Springer-Verlag, 1999.
• M. Klar, A Semantic Framework for the Integration of Object-Oriented Modeling Languages, PhD Thesis, Technical University Berlin, 1999.
• S. Mann and M. Klar, A metamodel for object-oriented statecharts. Second workshop on Rigorous Object-Oriented Methods, ROOM2, Bradford, May, 1998.
• R. Geisler, M. Klar, and C. Pons, Dimensions and dichotomy in metamodeling. Proceedings of the 3rd BCS-FACS Northern Formal Methods Workshop. Springer-Verlag, Sep, 1998.
• S. Dupuy, Y. Ledru and M. Chabre-Peccoud. Translating the OMT Dynamic Model into Object-Z. In 11^th Internatitional Conference of Z Users, volume 1493 of Lecture Notes in Computer Science. Springer-Verlag, 1998.
• S. Dupuy, Y. Ledru and M. Chabre-Peccoud. Integrating OMT and Object-Z. In BCS-FACS/EROS ROOM Workshop, 1997.
• K. Achatz and W. Schulte. A Formal OO Method Inspired by Fusion and Object-Z. In 10^th International Conference of Z Users, volume 1212 of Lecture Notes in Computer Science. Springer-Verlag, 1997.
• J. Araujo, Metamorphosis: An Integrated Object-Oriented Requirements Analysis and Specification Method, PhD Thesis, Lancaster University, 1996.
• E.N. Wafula and P.A. Swatman. Merging FOOM and MOSES: A Semantic Mapping from Object-Z to Stuctural Object-Oriented Diagrams, 6^thAustralasian Conference on Information Systems, 1995.
• E.N. Wafula and P.A. Swatman. FOOM: A Diagrammatic Illustration of Inter-Object Communication in Object-Z Specifications, Centre for Information Systems Research Working Paper Series #95-9, Swinburne University of Technology, Melbourne,1995.