Language Issues and Reuse
Safety-Critical Systems and Timing
: Formal Specification and Development of Control System Input/Output.
Alastair R. Ruddle
: Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems.
, John Howse
: Introducing Hyper-Z - A New Approach to Object Orientation in Z.
Paul A. Swatman
: Using Formal Specification in the Acquisition of Information Systems: Educating Information Systems Professionals.
Methods, Quality and Animation
: Animating Z Specifications in SQL*Forms 3.0.
Jonathan P. Bowen
: Comp.specification.z and Z FORUM Frequently Asked Questions.