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