The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Introducing Z: a Specification Language and its Formal Semantics

The work

AuthorsJ. M. Spivey
Editors
Typebook
Year1988
Citekeyspivey1988introducing

Where it appeared

PublisherCambridge University Press
SeriesCambridge University Press

How it got here

How it got hereagent via bibtex
Added2026-10-23 22:20 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@book{spivey1988introducing,
  title        = {Introducing Z: a Specification Language and its Formal Semantics},
  author       = {J. M. Spivey},
  year         = {1988},
  publisher    = {Cambridge University Press},
  series       = {Cambridge University Press},
}

This record lives at https://refs.drheap.org/spivey1988introducing/ and will keep doing so.