Structured Analysis - A Draft Method for Writing Z Specifications. - Fiona Polack; Mark Whiston; Peter Hitchcock (Z User Workshop, 1991)

The SAZ Project: Integrating SSADM and Z.. - Fiona Polack; Mark Whiston; Keith Mander (FME, 1993)