Xref: utzoo comp.text.tex:4398 comp.specification:218
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!samsung!munnari.oz.au!brolga!uqcspe!batserver.cs.uq.oz.au!king
From: king@batserver.cs.uq.oz.au (Paul King)
Newsgroups: comp.text.tex,comp.specification
Subject: Re: Wanted: LaTeX macros for Z (info)
Keywords: LaTeX macros, Z, Object-Z, specification, object orientation, formal methods
Message-ID: <6358@uqcspe.cs.uq.oz.au>
Date: 13 Dec 90 22:09:17 GMT
References: <70136@unix.cis.pitt.edu>
Sender: news@uqcspe.cs.uq.oz.au
Reply-To: king@batserver.cs.uq.oz.au
Followup-To: comp.text.tex
Lines: 50

In <70136@unix.cis.pitt.edu> jordan@unix.cis.pitt.edu (Kenneth D Jordan) writes:

>The preface to Antoni Diller's (University of Birmingham) new book on the
>specification language Z refers to a set of LaTeX macros for typesetting Z.
>I looked at Clarkson but found only those for VDM.  If anyone has a copy
>I'd very much appreciate it if they'd mail it to me.  Thanks in advance!

I'll post in two parts some macros that will do what you want.
Part 1 contains the actual 'oz.sty' macro package for typesetting
specifications written in Z and Object-Z (an object-oriented extension to Z).
Part 2 contains a documentation file 'oz.tex' and another relatively small
macro package (threecolumn.sty) required to produce the documentation:
I did not write 'threecolumn.sty'.

The oz.sty macros are an extension to the zed.sty macros (by Mike Spivey)
that were probably used to print Antoni Diller's book.
Mike Spivey currently sells (for a modest sum) an updated version of his
macros called fuzz.sty. The package comes with a type checker for Z
and a mf description for the special symbols.  I recommend that anyone
using Z alone and who can afford the small fee purchase the fuzz
macros and use them instead of or as well as those I am distributing here.

The following is extracted from the oz.sty file, more details
can be found in that file:
%
% HISTORY:
%
%            The original zed.sty file was written by Mike Spivey.
%            These macros have been extensively modified to
%            include extra symbols and environments for Object-Z
%            and now have little resemblence to the original macros.
%            Mike Spivey has also changed his macros along
%            different lines for Z - the latest version of macros
%            are called fuzz.sty and come with a syntax checker for Z.
%            They can be purchased for a small fee from:
%                   mike@prg.oxford.ac.uk
%
Please feel free to contact me if you want to know more about Object-Z.

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