6. Z User Workshop 1991: York, UK

Theoretical Foundations

• Alf Smith: On Recursive Free Types in Z. 3-39 BibTeX
• R. D. Arthan: On Free Type Definitions in Z. 40-58 BibTeX
• Antoni Diller: Z and Hoare Logics. 59-76 BibTeX
• J. C. P. Woodclock, S. M. Brien: W: A Logic for Z. 77-96 BibTeX

Scope of Use

• Rosalind Barden, Susan Stepney, David Cooper: The Use of Z. 99-124 BibTeX
• Paul A. Swatman, Danielle C. Fowler, C. Y. Michael Gan: Extending the Useful Application Domain for Formal Methods. 125-144 BibTeX
• J. E. Nicholls: Domains of Application for Formal Methods. 145-156 BibTeX
• Samuel H. Valentine: Z--, an Executable Subset of Z. 157-187 BibTeX

Special Applications

• Michael Harrison: Engineering Human-Error Tolerant Software. 191-204 BibTeX
• Pamela Zave, Michael Jackson: Techniques for Partial Specification and Specification of Switching Systems. 205-219 BibTeX

Tools

• Mark Saaltink: Z and Eves. 223-242 BibTeX
• Dave Neilson, Divya Prasad: zedB: A Proof Tool for Z Built on B. 243-258 BibTeX

Structured Methods and Object-Oriented Approaches

• Roberto Souto Maior de Barros, David J. Harper: A Method for the Specification of Relational Database Applications. 261-286 BibTeX
• Fiona Polack, Mark Whiston, Peter Hitchcock: Structured Analysis - A Draft Method for Writing Z Specifications. 287-328 BibTeX
• David J. Duke: Enhancing the Structure of Z Specifications. 329-351 BibTeX
• David A. Carrington: ZOOM Workshop Report. 352-364 BibTeX

Bibliography etc

• Jonathan P. Bowen: Select Z Bibliography and Frequently Asked Questions. 367-401 BibTeX