Xref: utzoo comp.specification:129 comp.software-eng:4118
Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!cs.utexas.edu!yale!quasi-eli!cs.yale.edu!zenith-steven
From: zenith-steven@cs.yale.edu (Steven Ericsson Zenith)
Newsgroups: comp.specification,comp.software-eng
Subject: Re: References to 'Z' specification language
Message-ID: <25955@cs.yale.edu>
Date: 31 Aug 90 04:42:42 GMT
References: <592@bohra.cpg.oz>
Sender: news@cs.yale.edu
Followup-To: comp.specification
Organization: Yale University Computer Science Dept., New Haven, CT 06520-2158
Lines: 19
Nntp-Posting-Host: king.systemsy.cs.yale.edu
Originator: zenith@king.CS.Yale.Edu

In article <592@bohra.cpg.oz> mike@bohra.cpg.oz (Mike Crooks) writes:
>Could someone please point me at some references to the 'Z' specification
>language developed at Oxford.

There are now several good books on the subject - I particularly like
the one on Z semantics - the name of which escapes me for the moment.
However, the book you should really read is the Z Manual by Mike Spivey
published by Prentice Hall in the Hoare series (my that is a fine series
Helen).

Steven.



-- 
Steven Ericsson Zenith              *            email: zenith@cs.yale.edu
Fax: (203) 466 2768                 |            voice: (203) 432 1278
"The tower should warn the people not to believe in it." - P.D.Ouspensky
Yale University Dept of Computer Science 51 Prospect St New Haven CT 06520 USA