🚀 go-pugleaf

In article <WINDLEY.91Feb20162315@cheetah.cheetah.cs.uidaho.edu>:
|
|I'm teaching a course next semester on software specification using Z.  I'm
|looking for case studies.  I am aware of the Hayes book, but it is out of
|print.   I'd appreciate any pointers to readily availble articles
|containing descriptions of systems specified in Z.

Sending the message "send z zbib.tex zbib.bib" to
<archive-server@prg.oxford.ac.uk> will return a comprehensive (long *)
list of Z references. BTW, the Hayes book is still available in the UK
the last time I checked.  Try contacting Blackwell's Bookshop, 50 Broad
Street, Oxford (tel +44-865-249111) if you desparately want a copy.
They will send books anywhere in the world.

You might also be interested in the September 1990 issue of IEEE
Software if you haven't already seen it.

--
Jonathan Bowen, PRG, Oxford.

PS Would anyone in the US like to set up a Z archive to save on
trans-atlantic traffic? If so, please contact me.

* The Z bibliography is longer than 100Kbytes. For details of shorter
versions (e.g., for UUCP sites), send a message of "index z".