Abstract is missing.
- On Recursive Free Types in ZAlf Smith. 3-39
- On Free Type Definitions in ZR. D. Arthan. 40-58
- Z and Hoare LogicsAntoni Diller. 59-76
- W: A Logic for ZJ. C. P. Woodclock, S. M. Brien. 77-96
- The Use of ZRosalind Barden, Susan Stepney, David Cooper. 99-124
- Extending the Useful Application Domain for Formal MethodsPaul A. Swatman, Danielle C. Fowler, C. Y. Michael Gan. 125-144
- Domains of Application for Formal MethodsJ. E. Nicholls. 145-156
- Z--, an Executable Subset of ZSamuel H. Valentine. 157-187
- Engineering Human-Error Tolerant SoftwareMichael Harrison. 191-204
- Techniques for Partial Specification and Specification of Switching SystemsPamela Zave, Michael Jackson. 205-219
- Z and EvesMark Saaltink. 223-242
- zedB: A Proof Tool for Z Built on BDave Neilson, Divya Prasad. 243-258
- A Method for the Specification of Relational Database ApplicationsRoberto Souto Maior de Barros, David J. Harper. 261-286
- Structured Analysis - A Draft Method for Writing Z SpecificationsFiona A. C. Polack, Mark Whiston, Peter Hitchcock. 287-328
- Enhancing the Structure of Z SpecificationsDavid J. Duke. 329-351
- ZOOM Workshop ReportDavid A. Carrington. 352-364
- Select Z Bibliography and Frequently Asked QuestionsJonathan P. Bowen. 367-401