Path: utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!usc!snorkelwacker!bloom-beacon!eru!luth!sunic!Urd!newsuser
From: collberg@dna.lth.se (Christian S. Collberg)
Newsgroups: comp.text
Subject: TeX/LaTeX styles for Z specifications?
Message-ID: <1989Nov13.093616.7155@lth.se>
Date: 13 Nov 89 09:36:16 GMT
Sender: newsuser@lth.se (LTH network news server)
Reply-To: collberg@DNA.LTH.Se (Christian S. Collberg)
Organization: Lund University, Sweden
Lines: 8

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.

Thanks,
Chris Collberg
collberg@dna.lth.se