Jonathan P. Bowen, J. E. Nicholls (Eds.):
Z User Workshop, London, UK, 14-15 December 1992, Proceedings.
Workshops in Computing Springer 1992, ISBN 3-540-19818-0 
Language Issues and Reuse
Safety-Critical Systems and Timing
Jonathan Jacky:
Formal Specification and Development of Control System Input/Output.
95-108
Alastair R. Ruddle:
Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems.
131-146
Object-Oriented Systems
Ian Maung,
John Howse:
Introducing Hyper-Z - A New Approach to Object Orientation in Z.
149-165
Information Systems
Paul A. Swatman:
Using Formal Specification in the Acquisition of Information Systems: Educating Information Systems Professionals.
205-239
Methods, Quality and Animation
Matthew Love:
Animating Z Specifications in SQL*Forms 3.0.
294-306
Appendices
Jonathan P. Bowen:
Comp.specification.z and Z FORUM Frequently Asked Questions.
342-347
data released under the ODC-BY 1.0 license
