“…In July 1991, a workshop was held on Z and 0 6 ject-oriented Methods, within the ZIP project, and involving participants from the ma'ority of the groups described above: Fresco, B, Z + j , Object-Z, OOZE and MooZ. This workshop led to the production of a book [29] which contained introductions to the main languages and a comparison by means of specification of a simple case study in each language. A book containing more substantial case studies in the languages Object-Z, MooZ, Fresco, OOZE and Z++ is also due to be published in 1993 A working group on object-oriented formal specification has been established in the UK, although involving contributions from workers in the area from other countries.…”