Z bibliography

Updated for ZUM'98

The Z bibliography is available in BibTeX source format for use with the LaTeX document preparation system if desired. It may be searched using the box below if your WWW client supports forms. Otherwise the entire bibliography is available (although it is several hundred Kbytes long). Hyperlinks are available for some of the references that are on-line.

Comments and new entries are welcome - please email J.P.Bowen@reading.ac.uk.

Provide a Perl regular expression as a search pattern for the main bibliography.
Similar search of the extra bibliography containing older entries such as technical reports and unpublished papers.
Display the main bibliography (also in HTML format) and extra bibliography source files in full.
(Large, no hyperlinks to documents added.)
Return all entries in the main bibliography and extra bibliography.
This adds hyperlinks for documents where available and known.
(Large and slow: not recommended except for local users.)
Entries for Z User Meetings:
- ZUM'89, Oxford
- ZUM'90, Oxford
- ZUM'91, York
- ZUM'92, London
- ZUM'94, Cambridge
- ZUM'95, Limerick
- ZUM'97, Reading
- ZUM'98, Berlin
Entries for subject areas:
Entries for publication types:
- Books
- Book chapters
- Conference papers
- Journal papers
- On-line items
- OUCL publications:
  - Technical Monographs
  - Selected Technical Reports (see also other older reports)
- PhD theses
- Proceedings
- Selected Technical Reports (see also many other older reports)

Printed versions of the Z bibliography, some annotated, are available as follows:

ZUM'94: Select Z Bibliography, by Jonathan Bowen. In J.P. Bowen and J.A. Hall (eds.), Z User Workshop, Cambridge 1994, Springer-Verlag, Workshops in Computing, pp 359-396, 1994. Also available as Oxford University Computing Laboratory Technical Report PRG-TR-8-94, 42pp, June 1994.
Annotated Z Bibliography, by Jonathan Bowen, Susan Stepney and Rosalind Barden. Information and Software Technology, 37(5-6):317-332, May/June 1995.
ZUM'95: Select Z Bibliography, by Jonathan Bowen. In J.P. Bowen and M.G. Hinchey (eds.), ZUM'95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, 7-9 September 1995, Springer-Verlag, LNCS 967, pp 527-560, 1995.
Literature Guide, by Jonathan Bowen. Appendix C and Bibliography, Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press, International Thomson Publishing, 1996.
ZUM'97: Select Z Bibliography, by Jonathan Bowen. In J.P. Bowen, M.G. Hinchey and D. Till (eds.), ZUM'97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, 3-4 April 1997, Springer-Verlag, LNCS 1212, pp 391-424, 1997. ISBN 3-540-62717-0.
ZUM'98: Select Z Bibliography, by Jonathan Bowen. In J.P. Bowen, A. Fett and M.G. Hinchey (eds.), ZUM'98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, 24-26 September 1998, Springer-Verlag, LNCS 1493, pp 367-406, 1998.