Xref: utzoo comp.text.tex:4405 comp.specification:222
Path: utzoo!attcan!uunet!zaphod.mps.ohio-state.edu!unix.cis.pitt.edu!jordan
From: jordan@unix.cis.pitt.edu (Kenneth D Jordan)
Newsgroups: comp.text.tex,comp.specification
Subject: Wanted: LaTeX macros for Z
Keywords: LaTeX, Z, specification, formal methods
Message-ID: <70136@unix.cis.pitt.edu>
Date: 13 Dec 90 15:52:48 GMT
Organization: Univ. of Pittsburgh, Computing & Information Services
Lines: 11

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
-------------------------------------------------------------------------------