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 )