Fiona A. C. Polack, Mark Whiston, Peter Hitchcock. Structured Analysis - A Draft Method for Writing Z Specifications. In J. E. Nicholls, editor, Z User Workshop, York, UK, 16-17 December 1991, Proceedings. Workshops in Computing, pages 287-328, Springer, 1991.
Abstract is missing.