Z Programming Language

• Books

• Science: Math: Logic and Foundations: Software 
• Computers: Software: Software Engineering 
• Computers: Programming: Languages: Specification 

• Community Z Tools Initiative  - Details discussions made by a Z programming community. Includes archive lists and contact information.
• Moby  - Project offers software tool support. Also contains graphical editor tools.
• Object-Z  - Object-oriented extension of the formal specification language called Z. Offers online purchasing of a comprehensive reference book by Graeme Smith.
• Oxford University Computing Laboratory  - Highlights the Z notation’s international standard that is being developed under the support of the International Standards Organization.
• Timed Communicating Object Z  - Provides resources and details about an integration of Object-Z and Timed CSP.
• Z User Group  - Advocates for use and improvisation of the Z notation language.
• ZB2002  - Presents details about the 2nd international Z and B conference organized by the APCB and the Z user group. Proceedings of tutorials and education session available for downloading.