Books

Short works

Books : reviews

Graeme Smith.
The Object-Z Specification Language.
Kluwer. 2000

(read but not reviewed)