8. Z User Workshop 1994: Cambridge, UK

• Robert P. Worden: Fermenting and Distilling. 1-6 BibTeX

Applications

• Jim Woodcock, Paul H. B. Gardiner, J. R. Hulance: The Formal Specification in Z of Defence Standard 00-56. 9-28 BibTeX
• Peter Mataga, Pamela Zave: Formal Specification of Telephone Features. 29-50 BibTeX
• David A. Carrington, Phil Stocks: A Tale of Two Paradigms: Formal Methods and Software Testing. 51-68 BibTeX

Education

• David Garlan: Integrating Formal Methods into a Professional Master of Software Engineering Program. 71-85 BibTeX

Object-Orientation I

• Graeme Smith: An Object-Oriented Development Framework for Z. 89-107 BibTeX
• Clazien D. Wezeman, Anthony J. Judge: Z for Managed Objects. 108-119 BibTeX
• Anthony Hall: Specifying and Interpreting Class Hierarchies in Z. 120-138 BibTeX

Semantics

• Jonathan P. Bowen, Michael J. C. Gordon: Z and HOL. 141-167 BibTeX
• Peter Baumann: Z and Natural Semantics. 168-184 BibTeX
• Peter T. Breuer, Jonathan P. Bowen: Towards Correct Executable Semantics for Z. 185-209 BibTeX

Methods

• Jon G. Hall, John A. McDermid: Towards a Z Method: Axiomatic Specification in Z. 213-229 BibTeX
• Fiona Polack, Keith Mander: Software Quality Assurance Using the SAZ Method. 230-249 BibTeX
• Antoni Diller, Rosemary Docherty: Z and Abstract Machine Notation: A Comparison. 250-263 BibTeX

Concurrency

• Leslie Lamport: TLZ. 267-268 BibTeX
• Andy Evans: Visualising Concurrent Z Specifications. 269-281 BibTeX
• Marcin Engel: Specifying Real-Time Systems with Z and the Duration Calculus. 282-294 BibTeX

Object-Orientation II

• Daniel K. C. Chan, Philip W. Trinder: An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z. 297-315 BibTeX
• Jonathan Hammond: Producing Z Specifications from Object-Oriented Analysis. 316-336 BibTeX
• Wilhelm Hasselbring: Animation of Object-Z Specifications with a Set-Oriented Prototyping Language. 337-356 BibTeX

Appendices

• Jonathan P. Bowen: Select Z Bibliography. 359-396 BibTeX
• Jonathan P. Bowen: Comp.specification.z and Z FORUM Frequently Asked Questions. 397-403 BibTeX