Presentation of Z language
Introduction
Z
l
anguage
ADT (abstract machines)
Examples
Keyword Index
Possibilities / Limitations