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.
Full paper : PDF 493K | [The BibTeX source for this bibliography, more recent references, and related information is available on-line]
@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 )