Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!spool.mu.edu!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!brolga!uqcspe!cs.uq.oz.au!king
From: king@cs.uq.oz.au (Paul King)
Newsgroups: comp.text.tex
Subject: Re: Wanted: oz.sty or zed.sty for Z specifications in LaTeX
Keywords: Z, LaTeX, oz.sty, zed.sty
Message-ID: <1654@uqcspe.cs.uq.oz.au>
Date: 28 May 91 22:40:03 GMT
Article-I.D.: uqcspe.1654
References: <1957@svin02.info.win.tue.nl>
Sender: news@cs.uq.oz.au
Reply-To: king@cs.uq.oz.au
Lines: 24

devet@wsinis04.info.win.tue.nl (Arjan de Vet) writes:

>I read in a paper that there are two public domain style files for
>typesetting Z specifications, called oz.sty (by Paul King) and zed.sty (by
>J.M. Spivey). Does anybody know where I can get these files? Thanks in
>advance.

>Arjan

I am happy to email you the oz.sty macros for Z and Object-Z.
I can also send you Version 1 of the Object-Z reference manual.

You may also like to consider purchasing the fuzz package (which includes
fuzz.sty -- an alternative to zed.sty which has its own fonts).  It is
available from Mike Spivey who can be contacted at:
	mike@prg.oxford.ac.uk
The fuzz package comes with a type checker for Z.

Cheers, Paul.
--
Paul King							       _--_|\
Dept. of Computer Science, Univ. of Queensland			      /      X
Queensland, Australia, 4072					      \_.--._/
king@cs.uq.oz.au (ACSNET)					            v