Path: utzoo!censor!geac!torsqnt!news-server.csri.toronto.edu!rutgers!usc!wuarchive!uunet!mcsun!ukc!ox-prg!bowen
From: bowen@prg.ox.ac.uk (Jonathan Bowen)
Newsgroups: comp.specification
Subject: Re: Support Tools for Z?
Message-ID: <1056@culhua.prg.ox.ac.uk>
Date: 3 Jan 91 17:09:12 GMT
References: <1990Dec31.235106.16021@msuinfo.cl.msu.edu>
Sender: news@prg.ox.ac.uk
Reply-To: Jonathan.Bowen@prg.oxford.ac.uk (Jonathan Bowen)
Organization: Programming Research Group, Oxford University, UK
Lines: 31

In article <1990Dec31.235106.16021@msuinfo.cl.msu.edu>
 chengb@pleiades.cps.msu.edu (Betty Cheng) writes:
>Are there existing support tools for using Z? 
>If so, have there been any projects that used the support tools?

The following reference includes a list of Z-related tools on pp255-257:

@proceedings{Z:Z90,
  editor = {John E. Nicholls},
  title = {{Z} User Workshop, Oxford 1989},
  publisher = {Springer-Verlag},
  address = {Oxford, UK},
  series = {Workshops in Computing},
  length = {288},
  year = {1990},
  keywords = {ZBIB.},
  isbn = {3-540-19627-7},
  price = {\pounds24.00 soft cover (BCS members \pounds19.00)},
  annote = {Proc.\ Fourth Annual Z User Meeting,
    15 December 1989, Oxford, UK.
    Published in collaboration with the British Computer Society.}
}

This year's proceedings, to be published later in 1991, will include
information about more recent tools, in particular on CADiZ, a UNIX
troff based tool from York University, UK, and the zedB tool at BP
Research, UK.

--
Jonathan Bowen, 
Oxford University Computing Laboratory.