Xref: utzoo comp.specification:128 comp.software-eng:4116
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!zaphod.mps.ohio-state.edu!usc!snorkelwacker!apple!uokmax!munnari.oz.au!metro!pta!yarra!bohra!mike
From: mike@bohra.cpg.oz (Mike Crooks)
Newsgroups: comp.specification,comp.software-eng
Subject: References to 'Z' specification language
Message-ID: <592@bohra.cpg.oz>
Date: 30 Aug 90 11:40:55 GMT
Organization: Computer Power Group, Melb, Australia
Lines: 7

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

Thanks in advance,

Mike Crooks
mike@bohra.cpg.oz.au
D