An Introduction to Formal Specification With Z and Vdm
By Deri Sheppard; McGraw Hill Book Co.; 1994, ISBN 0077079078. Introduces Formal Methods (FM) via Z and Vdm. [Amazon.com]
Object Orientation in Z
Edited by Susan Stepney, Rosalind Barden, David Cooper; Springer-Verlag, 1992, ISBN 3540197788. Set of papers showing many ways to add OO concepts and structuring to Z. Each shows …
The Object-Z Specification Language
By Graeme Smith; Kluwer Academic Publishers, 2000, ISBN 0792386841. Textbook or reference, fully describes topic: semantics, defines all constructs, type and usage rules, specifica…
The Object-Z Specification Language
Book by Graeme Smith (1999). Description, table of contents, link to book series.
Understanding Z: A Specification Language and its Formal Semantics
Purchase source, related topics. [Amazon.com]
Z in Practice
By Rosalind Barden, Susan Stepney, David Cooper, Susan Stephey; Prentice Hall, 1995, ISBN 0131249347. For those knowing basics of Z or other model-oriented formal specification lan…
Z: An Introduction to Formal Methods
By Antoni Diller; John Wiley & Sons, 1994, ISBN 0471939730, 2nd edition. Thorough tutorial introduction to Z via standard notation, case studies to illustrate all aspects, practica…