See the following World Wide Web "URL" for further much more up-to-date information information on Z:
Click here
Contents of the OUCL Z FORUM archives: Name Contents ----------------------------------------------------------------- 1.1 Z FORUM 1.1 electronic newsletter (21 Jan 1986) 1.2 Z FORUM 1.2 electronic newsletter (24 Feb 1986) 1.3 Z FORUM 1.3 electronic newsletter (24 Mar 1986) 1.4 Z FORUM 1.4 electronic newsletter (18 Apr 1986) 1.5 Z FORUM 1.5 electronic newsletter (30 Apr 1986) 1.6 Z FORUM 1.6 electronic newsletter ( 3 Jun 1986) 1.7 Z FORUM 1.7 electronic newsletter (21 Jul 1986) 1.8 Z FORUM 1.8 electronic newsletter (29 Jul 1986) 1.9 Z FORUM 1.9 electronic newsletter (28 Oct 1986) 2.1 Z FORUM 2.1 electronic newsletter (28 Jul 1987) 2.2 Z FORUM 2.2 electronic newsletter ( 9 Sep 1987) 2.3 Z FORUM 2.3 electronic newsletter ( 2 Nov 1987) 2.4 Z FORUM 2.4 electronic newsletter (19 Nov 1987) 3.1 Z FORUM 3.1 electronic newsletter (20 Jan 1988) 3.2 Z FORUM 3.2 electronic newsletter (19 Feb 1988) 3.3 Z FORUM 3.3 electronic newsletter (24 Jun 1988) 3.4 Z FORUM 3.4 electronic newsletter (15 Aug 1988) 3.5 Z FORUM 3.5 electronic newsletter (21 Oct 1988) 3.6 Z FORUM 3.6 electronic newsletter (31 Oct 1988) 3.7 Z FORUM 3.7 electronic newsletter ( 8 Nov 1988) 3.8 Z FORUM 3.8 electronic newsletter (22 Nov 1988) 4.1 Z FORUM 4.1 electronic newsletter ( 3 Jan 1989) 4.2 Z FORUM 4.2 electronic newsletter (27 Jan 1989) 4.3 Z FORUM 4.3 electronic newsletter (21 Apr 1989) 4.4 Z FORUM 4.4 electronic newsletter (20 Nov 1989) 5.1 Z FORUM 5.1 electronic newsletter ( 6 Feb 1990) 5.2 Z FORUM 5.2 electronic newsletter ( 3 Mar 1990) 5.3 Z FORUM 5.3 electronic newsletter ( 3 May 1990) subjects Subjects in Z FORUM (vol 1.0 - 5.3) vdm-z Comparison of Z and VDM from comp.software-eng newgroup (20 Jun 1992) Z FORUM has now ceased to be issued as a newsletter. Instead, relevant messages are sent out directly as they are received. It is also now gatewayed to the USENET comp.specification.z newsgroup (from June 1991). Messages are currently archived as follows: zforum90 Z FORUM messages (1990) zforum91-01 Z FORUM messages (January-March 1991) zforum91-02 Z FORUM messages (April 1991) zforum91-03 Z FORUM messages (May 1991) zforum91-04 Z FORUM messages (June 1991) zforum91-05 Z FORUM messages (July 1991, 1st week) zforum91-06 Z FORUM messages (July 1991, 2nd week) zforum91-07 Z FORUM messages (July 1991, 3rd week onwards) zforum91-08 Z FORUM messages (August-September 1991) zforum91-09 Z FORUM messages (October-November 1991) zforum91-10 Z FORUM messages (December 1991) zforum92-01 Z FORUM messages (January 1992) zforum92-02 Z FORUM messages (February 1992) zforum92-03 Z FORUM messages (March 1992) etc... zforum Z FORUM messages (Current month to date) faq Current monthly Z FORUM message (general info on Z) faq.ps PostScript version of above (updated for latest ZUM) LaTeX document preparation support: fuzz Order form for "fuzz" Z style for LaTeX + type-checker zed.sty A LaTeX style option for writing Z documents zguide.tex A guide to the above style msfonts Information on obtaining the msx/msy fonts for zed.sty msxyfonts msx/msy fonts for zed.sty in uuencoded format oz.sty A LaTeX style option for writing Z & Object-Z documents oz.tex A guide to the above style threecolumn.sty A style option used by "oz.tex" (if you don't have it) foil.sty A LaTeX style for overhead projector foils zedfoil.sty A LaTeX style option for Z overhead projector foils foil.tex An example of using the above two style files csp_zed.sty A style option for CSP and Z, including new font selection csp Information on LaTeX2e support files for CSP and Z zed-csp.sty A LaTeX2e style option for CSP and Z csp2e.tex Documentation for above zed2e.tex Equivalent of zguide.tex for above Z fonts: Zedfont.zip.uu Z font for MS Windows (uuencoded pkzip format) Zedfont.sea.hqx Z font for Apple Macintosh (BinHex 4.0 format) zfont.zip.uu TrueType Z font (uuencoded pkzip format) zfont.mac Old Z font for Apple Macintosh (BinHex 4.0 format) zfont.readme Brief overview of the following 3 files zfont.type1 Type 1 PostScript font for Z symbols zfont.type3 Type 3 PostScript font for Z symbols zfont.riscos Original "RISCOS" font from which the above are derived Meetings, conferences, etc.: zum98-* Files for ZUM'98 zum97-* Call for papers/participation/poster for ZUM'97 zum95 Call for papers for Z User Meeting, ZUM'95 fme94 Call for participation, FME'94 Symposium forte94 Call for papers, FORTE'94 Conference wift95 Call for papers, WIFT'95 Workshop zum94 Information on proceedings of Z User Workshop, Cambridge 1994 zum92 Information on proceedings of Z User Workshop, London 1992 zum92.tex LaTeX version of above proc87.tex Z User Meeting Proceedings 1987 (LaTeX format) proc87.toc Table of contents for above proc88.tex Z User Meeting Proceedings 1988 (LaTeX format) proc88.toc Table of contents for above proc89.tex Z User Meeting Proceedings 1989 *CONTENTS ONLY* Note that the Z User Meeting proceedings from 1989 onwards are published in the Springer-Verlag "Workshops in Computing" series. Z bibliography files: (last updated 5 January 1997) z.bib Latest BibTeX database for main Z references z-extra.bib Extra BibTeX database for other older Z references z.ps PostScript version of above z2.bib Latest BibTeX database for other Z references z.uu Uuencoded compressed version of z.bib (shorter) z??.bib BibTeX database for ZUM'?? Select Z Bibliography z??.tex LaTeX source to generate ZUM'?? Select Z Bibliography z??.ps PostScript version of above wicsbook.sty Style file for above annote.bst BibTeX style file for above These are the Z bibliography files produced for the Z User Meeting Proceedings to be published by Springer-Verlag. If you are accessing the archive via electronic mail and your mailer (or one between you and us) cannot handle 100 Kbyte+ messages (e.g., UUCP mail normally has a limit of 100 Kbytes) then access "z.uu" instead of z.bib. Miscellaneous: qata92 Queen's Award for Technological Achievement, 1992 zedc.uu Z to C comment translator using lex (uuencoded) ZTC Information on FTP access to a PC-based Z typechecker csz-* Messages concerned with establishment of the newsgroup comp.specification.z (possibly of historical interest) ZEDspecenv.tex ZED specification environment announcement (1992) ZEDspecenv.ps PostScript version of above ----------------------------------------------------------------- To subscribe to Z FORUM, an electronic mailing list, send e-mail to <zforum-request@comlab.ox.ac.uk>. To submit articles for Z FORUM, send e-mail to <zforum@comlab.ox.ac.uk>. Articles are now sent out as they arrive rather than in newsletter form to ensure timeliness. This mailing list is now gatewayed to the comp.specification.z USENET newsgroup. You are requested to read articles via the newsgroup if you have access to it. The mailing list is being maintained as a service to those without access to news. Mike Spivey's "zed.sty" original style file for writing Z documents using LaTeX is available from the archive (see above). There is also a Z type-checker called "fuzz" *for sale* together with an associated "fuzz.sty" LaTeX style file which has better fonts for the more esoteric Z symbols. Contact Mike Spivey at the PRG or on <Mike.Spivey@comlab.ox.ac.uk> about this and/or access the "fuzz" order form in this archive (see above). The type-checker currently runs on SUN 3, SUN 4, IBM PC and VAX/VMS equipment. "oz.sty", an extended version of "zed.sty" for Z and Object-Z documents produced by Paul King <king@batserver.cs.uq.oz.au> of University of Queensland, Australia, is also available from the archive. "csp_zed.sty" is a style file developed from "zed.sty" by Jim Davies that supports CSP and Z, and uses the new font selection mechanism. If you would like information about Programming Research Group monographs and technical reports (including many related to Z), please e-mail our librarian, Gordon Riddell, on <library@comlab.ox.ac.uk> or telephone him on +44-865-273837. ----------------------------------------------------------------- Last updated by Jonathan Bowen, 5 January 1997. The University of Reading, Department of Computer Science Whiteknights, PO Box 225, Reading, Berks RG6 6AY, England. Tel: +44-118-931-6544 (direct) -8611 (enquiries) Fax: +44-118-975-1994 Email: J.P.Bowen@reading.ac.uk URL: http://www.jpbowen.com/