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