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