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.
doi:10.1016/0950-5849(95)99367-V | full paper : PDF 2MB
[The BibTeX source for this bibliography, more recent references, and
related information is available
on-line]
@journal(Bowen+Stepney+Barden:1995:AnnZBib,
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
)