Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!wuarchive!cs.utexas.edu!sun-barr!ccut!wnoc-tyo-news!cs.titech!koudai!kaiya
From: kaiya@cs.titech.ac.jp (Haruhiko Kaiya)
Newsgroups: comp.specification
Subject: wanted-for-TeXMacros-of-Z
Message-ID: <KAIYA.91Apr14165954@ryouko.cs.titech.ac.jp>
Date: 14 Apr 91 07:59:54 GMT
Sender: usenet@cs.titech.ac.jp
Distribution: comp
Organization: Tokyo Institute of Tech., Dept. of Computer Science, Japan
Lines: 14

Our group in Tokyo-Institue-of-Technology study software-specification
, software process and empirical study of software development.

We (do or will) use specification languages: LOTOS, VDM and Z.

The notation of LOTOS and VDM is simple for TeX or LaTeX
documentation, but Z notation is quite complex.

So, I want to get TeX-Macro for Z notation.
Does someone know it?

					kaiya@cs.titech.ac.jp
					Japan
						Tokyo