Manuel de référence de la notation Z, c’est-à-dire de la notation utilisée dans la méthode informatique de spécification Z. Il présente les règles standardisées de spécification de manière précise et concise