Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!mit-eddie!bloom-beacon!eru!hagbard!sunic!mcsun!ukc!ox-prg!Jonathan.Bowen From: Jonathan.Bowen@prg.oxford.ac.uk (Jonathan Bowen) Newsgroups: comp.specification Subject: Re: Z Specification Case Studies Message-ID: <9102232156.AA10055@topaz.comlab.prg.ox.ac.uk> Date: 23 Feb 91 21:56:06 GMT Sender: daemon@prg.ox.ac.uk Organization: Programming Research Group, Oxford University, UK Lines: 25 In-Reply-To: X-Mailer: mail-news 2.0.3 In article : | |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 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". Brought to you by Super Global Mega Corp .com