Présentation du langage Z
Introduction
Langage Z
Machines abstraites
Syntaxe
Exemples
Index