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

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

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/

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/

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

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/

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/

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/work/andrew.martin/zstandards/

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

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

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

Z from FOLDOC
   Entry with links to several related concepts to aid learning.
   http://foldoc.org/foldoc/foldoc.cgi?Z

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/

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/

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/