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] |