Xref: utzoo comp.specification:131 comp.software-eng:4122
Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!wuarchive!zaphod.mps.ohio-state.edu!samsung!munnari.oz.au!bunyip!brolga!uqcspe!batserver.cs.uq.oz.au!anthony
From: anthony@batserver.cs.uq.oz.au (Anthony Lee)
Newsgroups: comp.specification,comp.software-eng
Subject: Re: References to 'Z' specification language
Message-ID: <4756@uqcspe.cs.uq.oz.au>
Date: 2 Sep 90 01:06:35 GMT
References: <592@bohra.cpg.oz>
Sender: news@uqcspe.cs.uq.oz.au
Reply-To: anthony@batserver.cs.uq.oz.au
Followup-To: comp.specification
Lines: 13

mike@bohra.cpg.oz (Mike Crooks) writes:

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

Specification Case Studies 
Ian Hayes (editor)
Prentice Hall
--
Anthony Lee (Michaelangelo teenage mutant ninja turtle) (Time Lord Doctor) 
ACSnet:	anthony@batserver.cs.uq.oz	TEL:+(61)-7-371-2651
Internet: anthony@batserver.cs.uq.oz.au	    +(61)-7-377-4139 (w)
SNAIL: Dept Comp. Science, University of Qld, St Lucia, Qld 4072, Australia