Z言語
ISO (国際標準化機構) は2002年にZの標準化作業を完了した。 この仕様の題名は Information Technology – Z Formal Specification Notation – Syntax, Type System and Semantics ISO/IEC 13568:2002 である。 ISOから直接に取得し閲覧することができる。
13568_2002.zip、1 MB PDF、196 頁