collberg@dna.lth.se (Christian S. Collberg) (11/13/89)
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
spivey@tekcrl.LABS.TEK.COM (Mike Spivey) (11/14/89)
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)