Virtual Library Formal Methods Z Notation

Comments and new entries are welcome - please contact Jonathan Bowen.

• 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:
  • Animation
  • B-Method
  • CICS project
  • Concurrency
  • CSP
  • Educational issues
  • Object orientation
  • Object-Z
  • Prototyping
  • Real-time
  • Refinement
  • Safety-critical systems
  • Security
  • Standards
  • Temporal logic
  • Testing
  • Transputer
  • VDM

• 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)

• 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.

• Z notation-related publications listed under Google Scholar.
• Z notation-related books listed under Google Print.
• Other formal methods bibliographies.
• Safety-critical systems bibliography.
• ProCoS II project bibliography including some Z publications.
• Latest Select Z Bibliography, by Jonathan Bowen. (In PostScript format.)

• Z bibliography mirror site, together with an LNCS bibliography and other Bibliographies on Software/Hardware Engineering and Formal Methods - part of the Collection of Computer Science Bibliographies. (A highly recommended resource.)

This page uses htgrep for searching the Z bibliography. See also here.