jordan@unix.cis.pitt.edu (Kenneth D Jordan) (12/13/90)
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! ------------------------------------------------------------------------------- Nick Nystrom Chemistry Department University of Pittsburgh nystrom@a.psc.edu -------------------------------------------------------------------------------
king@batserver.cs.uq.oz.au (Paul King) (12/14/90)
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
bowen@prg.ox.ac.uk (Jonathan Bowen) (12/19/90)
Readers may be interested in the message below, recently sent to the Z FORUM mailing listing (e-mail <zforum-request@prg.oxford.ac.uk> to join Z FORUM). I would be grateful if other (La)TeX archive sites (in the US in particular) would copy over this style file and documentation, and advertise the fact to save on global (especially trans-Atlantic) e-mail. Thanks. Happy Christmas and Happy Z-LaTeXing! -- Jonathan Bowen, PRG, Oxford University. -------------------------- Z FORUM message -------------------------- From: Mike.Spivey@prg.oxford.ac.uk Subject: New version of zed style option available Date: 14 Dec 90 10:43:03 GMT Now available is a new version of the LaTeX style option 'zed' for printing Z specifications. The two files "zed.sty" and "zguide.tex" are obtainable from the archive server at Oxford; the first of these defines the style option itself, and the second contains instructions for using it. [To obtain the files, send an e-mail message containing the command "send z zed.sty zguide.tex" to <archive-server@prg.oxford.ac.uk>. For more information on the archive server, send the command "help". JPB] This version is compatible with the "fuzz.sty" macros distributed with the fuzz type-checker for Z, but like the old "zed.sty", it uses some fonts from the AMS in place of the special font of Z symbols that comes with fuzz. The results are not quite as good, but they are good enough for drafts. The present version does not work with SliTeX or with the new LaTeX font selection scheme. [For fuzz information and an order form, send the command "send z fuzz" to the PRG archive server. JPB] The zed style option and its documentation may be freely copied, distributed and used for any purpose except direct commercial gain, provided that they are copied and distributed as a whole and without modification. The author accepts no liablility for their accuracy or fitness for any purpose. -- Mike Spivey -- Jonathan Bowen, <Jonathan.Bowen@prg.oxford.ac.uk> Oxford University Computing Laboratory.