Path: utzoo!censor!geac!torsqnt!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!hplabs!otter.hpl.hp.com!otter!crd
From: crd@otter.hpl.hp.com (Chris Dalton)
Newsgroups: comp.software-eng
Subject: Re: References to 'Z' specification language
Message-ID: <28030003@otter.hpl.hp.com>
Date: 3 Sep 90 16:58:26 GMT
References: <592@bohra.cpg.oz>
Organization: Hewlett-Packard Laboratories, Bristol, UK.
Lines: 33

Mike Crooks asks:
> Could someone please point me at some references to the 'Z' specification
> language developed at Oxford.

1)	The Z Notation:  A Reference Manual
	J M Spivey
	Prentice Hall  1989
	ISBN 0-13-983768-X

2)	Specification Case Studies
	I Hayes (ed)
	Prentice Hall  1987
	ISBN 0-13-826579-8 (hardback) or 0-13-826595-X (paperback)

3)	Understanding Z - A Specification Language and its formal semantics
	J M Spivey
	Cambridge University Press  1988
	ISBN 0-521-33429-2

The first two are reference and tutorial in nature, the third is
basically Mike Spivey's doctoral thesis, ie, heavy on theory.

Or you could write to the PRG directly.  There's a variety of papers,
monographs, and so on written by members of the Programming Research Group,
ranging from theory to case studies.  The mailing address is

	Programming Research Group
	Oxford University Computing Laborotory
	8-11 Keble Road
	Oxford
	OX1 3QD

Chris