| |
| 1993 | ||
|---|---|---|
| 2 | Fiona Polack, Mark Whiston, Keith Mander: The SAZ Project: Integrating SSADM and Z.. FME 1993: 541-557 | |
| 1991 | ||
| 1 | Fiona Polack, Mark Whiston, Peter Hitchcock: Structured Analysis - A Draft Method for Writing Z Specifications. Z User Workshop 1991: 287-328 | |
| 1 | Peter Hitchcock | [1] |
| 2 | Keith Mander | [2] |
| 3 | Fiona Polack | [1] [2] |