By the same authors

Annotated Z Bibliography

Research output: Contribution to journalArticle



Publication details

JournalInformation and Software Technology (Z special issue)
DatePublished - 1995
Issue number5-6
Number of pages16
Pages (from-to)317-332
Original languageUndefined/Unknown


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.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations