🚀 go-pugleaf

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, <Jonathan.Bowen@prg.oxford.ac.uk>
Oxford University Computing Laboratory.