🚀 go-pugleaf

FYI, a short advert.

Due out in August is:

   Susan Stepney, Rosalind Barden, David Cooper (editors)
   Object Orientation in Z
   Workshops in Computer Science
   Springer-Verlag
   1992
   ISBN 3-540-19778-8

This is a collection of papers describing various OOZ approaches --- Hall,
ZERO, MooZ, Object-Z, OOZE, Schuman&Pitt, Z++, ZEST and Fresco (an OO VDM
method) --- in the main written by the methods' inventors, and all
specifying the same two examples.

The collection is a revised and expanded version of a ZIP report
(distributed at the 1991 York Z User Meeting).  If you want a copy of
that out-of-date report instead, please contact
(no e-mail address, I'm afraid)

   Colin Parker
   Systems Computing Dept., W376C
   British Aerospace
   Warton Aerodrome
   Warton
   Preston
   PR4 1AX
   U.K.

(BTW: I had some e-mail from a few people last week, requesting copies
of the ZIP report.  Unfortunately, our mail server then promptly crashed
for a week!  It has forgotten the relevant files, so I have no record
of who asked for what.  Could you please re-send your request, to Colin.
Sorry for the inconvenience.)

Susan Stepney.