[comp.specification] Z questions

bwhite@inmet.inmet.com (11/17/90)

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