Path: utzoo!utgpu!utstat!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!cs.utexas.edu!uunet!zephyr.ens.tek.com!tekcrl!spivey
From: spivey@tekcrl.LABS.TEK.COM (Mike Spivey)
Newsgroups: comp.text
Subject: Re: TeX/LaTeX styles for Z specifications?
Message-ID: <5045@tekcrl.LABS.TEK.COM>
Date: 13 Nov 89 22:23:38 GMT
References: <1989Nov13.093616.7155@lth.se>
Organization: Tektronix Inc., Beaverton, Or.
Lines: 16
In-reply-to: collberg@dna.lth.se's message of 13 Nov 89 09:36:16 GMT

In article <1989Nov13.093616.7155@lth.se> collberg@dna.lth.se
(Christian S. Collberg) writes: 

   If anyone has TeX/LaTeX and MetaFont style files for Z
   specifications (as seen, for example, in Spivey's "The Z Notation")
   available, I would appreciate receiving a copy.

A LaTeX style option and fonts are available from me as part of a
package that includes a type-checker for the Z language.  The package
is NOT free, but it's pretty cheap.  Send e-mail if you want details
-- I don't know that I'm allowed to post what might be considered
advertising here.

-- Mike Spivey, on sabbatical at Tektronix.
-- spivey@crl.labs.tek.com
-- mike@uk.ac.oxford.prg (auto-forwarding)