Jonathan P. Bowen, Susan Stepney, Rosalind Barden.
Annotated Z Bibliography.

Information and Software Technology, Z special issue, 37(5-6):317-332, 1995.

Introduction:

This annotated Z bibliography [325 references in all] contains a selected list of some pertinent publications for Z users. Most of those included are readily available, either as books or in journals. A few unpublished items have been included, where they are particularly relevant and can be obtained reasonably easily.

Some references are accompanied by an annotation. This may include a contents list (of a book), a list of the titles of Z related papers (in a collection) with cross-references to the full details, or a summary of the work.

@journal(SS-IST95,
  author = "Jonathan P. Bowen and Susan Stepney and Rosalind Barden",
  title = "Annotated {Z} Bibliography",
  journal = "Information and Software Technology ({Z} special issue)",
  volume = 37,
  number = "5--6",
  pages = "317--332",
  year = 1995
)