This collection of papers draws together a variety of approaches for adding ob- ject orientation to the Z formal specification language. These papers are not a conference proceedings, but have a... This description may be from another edition of this product.