Z from FOLDOC  
   Entry with links to several related concepts to aid learning.
   http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?Z

Community Z Tools Initiative: CZT  
   Proposed to Z community, now under discussion. Mail list archive, proposals, comments, responses.
   http://web.comlab.ox.ac.uk/oucl/work/andrew.martin/CZT/

ZB2003  
   The 3rd International Conference of B and Z Users, 4-6 June 2003, Turku, Finland. The 14th International Z User Meeting, The 5th International Conference on the B Method. Theme, speakers, call for papers, submissions, location, committees, tools and exhib
   http://www.tucs.fi/zb2003/

Object-Z Page  
   Object-oriented extension of Z formal specification language, developed by research team at University of Queensland. Brief description, links, FAQ, tool support, publications, book reference.
   http://www.itee.uq.edu.au/~smith/objectz.html

TCOZ Page  
   Timed Communicating Object-Z integrates Object-Z and Timed CSP, for modeling state, concurrent events, real-time behavior, and structuring and decomposing systems to control complexity. Description, publications, book list.
   http://www.comp.nus.edu.sg/~dongjs/tcoz.html

Z Family on the Web with Their UML Photos  
   Treats building lightweight tools such as Web browser systems for formal specifications and methods. School of Computing, National University of Singapore. January, 2001; as postcript, and pdf files.
   http://nt-appn.comp.nus.edu.sg/fm/zml/TRA1-01.pdf

Standard for Z Notation  
   International Z Notation standardization effort finished in 2002 and yielded The ISO/IEC Z Standard. Brief description, links to ISO, panel members, meeting minutes, FAQ, committee drafts.
   http://web.comlab.ox.ac.uk/oucl/research/groups/zstandards/

ZB2002  
   The 2nd International Z and B Conference, Grenoble, France, 23-25 January 2002. The 13th International Z User Meeting, The 4th International Conference on the B Method. Proceedings, Tutorials and Education Session, RCS'02 Workshop.
   http://www-lsr.imag.fr/zb2002/

Z/EVES  
   Front-end to EVES verification system, integrates leading specification notation and state-of-art automated deduction. Descriptions, documents, screenshots, download, links, User Group; Z Browser for use under Windows and using web browsers.
   http://www.ora.on.ca/z-eves/

Professor Jonathan Bowen  
   ZUG webmaster; Computing Professor, South Bank University, heads Centre for Applied Formal Methods. Interests: FM, safety-critical systems, Z, provably correct systems, and rapid prototyping via logic programming. 1994 Babbage Premium award winner.
   http://www.jpbowen.com/

PiZA  
   Prolog Z Animator tool. Typesets Z specifications via LaTeX program, input in pleasant ASCII format, output in many LaTeX flavors. Converts Z subset to Prolog and executes them (poorly documented). Input syntax example, download, documents, links.
   http://www.noodles.demon.co.uk/PiZA/PiZAHome.html

RoZ  
   Named after Rosetta stone. Gives formal Z specification from annotated UML diagram, integrates data specification in UML with formal annotation in Z, Object-Z. Descriptions, downloads, documents, list of papers, links.
   http://www-lsr.imag.fr/Les.Groupes/pfl/RoZ/

A Comparison of Z and VDM with B/AMN  
   Compares Z, Vienna Development Method (VDM), and Abstract Machine Notation (AMN) of B-Method; favors AMN. Descriptions, code samples. By B-Core, UK.
   http://www.b-core.com/ZVdmB.html

MOBY  
   Official page. C++ class library, basis of three tools: Moby/PLC, Moby/SDL, and Moby/OZ graphical editor to build specifications in Z/Object-Z, allows structured development via hierarchy concepts, handles many text formats.
   http://theoretica.informatik.uni-oldenburg.de/~moby/

ZETA System  
   Environment to develop Z specification documents; integrated tool framework to edit, analyze, animate specifications, and formalisms mapped to Z; 5 tools (ESZ Checker, ZAP Compiler, Adaptors: LaTeX, HOL-Z, SMV), 2 GUIs (Emacs, Java). [Open Source, GPL]
   http://uebb.cs.tu-berlin.de/zeta/

The Z Notation  
   The World Wide Web Virtual Library entry for the Z formal specification langugae, providing links to resources around the world.
   http://www.zuser.org/z/

Combination and Implementation of Processes and Data: from CSP-OZ to Java  
   Ph.D. thesis, University of Oldenburg, 2000. PostScript file.
   http://semantik.informatik.uni-oldenburg.de/~wehrheim/Eatcs.ps