ISO/IEC 13568:2002 Preview
Information technology -- Z formal specification notation -- Syntax, type system and semantics
This standard was last reviewed and confirmed in 2013. Therefore this version remains current.
The electronic version of this International Standard can be downloaded from the ISO/IEC Information Technology Task Force (ITTF) web site