Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!rpi!bu.edu!inmet!bwhite
From: bwhite@inmet.inmet.com
Newsgroups: comp.specification
Subject: Z questions
Message-ID: <127900001@inmet>
Date: 16 Nov 90 21:45:00 GMT
Lines: 16
Nf-ID: #N:inmet:127900001:000:513
Nf-From: inmet.inmet.com!bwhite    Nov 16 16:45:00 1990


I am interested in finding out more about the Z notation.  I am
reading J.M. Spivey's book.  Can anyone point me to:

	1.) A bibliography of Z notation papers?
	2.) An electronic mailing list for Z (or is comp.specification
	    the closest thing going?)
	3.) Any existing Z software?  This includes such mundane
	    things as LaTeX definitions, up to syntax checkers and
	    so forth.  I would hate to duplicate any existing effort.

Thanks in advance.

					Peace,
					Bill White
					bwhite@inmet.inmet.com