ISO/IEC 13568:2002/Cor 1:2007
Information technology — Z formal specification notation — Syntax, type system and semantics — Technical Corrigendum 1
Technologies de l'information — Notation Z pour la spécification formelle — Syntaxe, système de caractères et sémantique — Rectificatif technique 1