| 1992 |
|---|
| 6 | | Jonathan P. Bowen,
J. E. Nicholls:
Z User Workshop, London, UK, 14-15 December 1992, Proceedings
Springer 1992 |
| 5 | | J. E. Nicholls:
Z User Workshop, York, UK, 16-17 December 1991, Proceedings
Springer 1992 |
| 4 | | J. E. Nicholls:
Plain Guide to the Z Base Standard.
Z User Workshop 1992: 52-61 |
| 1991 |
|---|
| 3 | | J. E. Nicholls:
Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990
Springer 1991 |
| 2 | | J. E. Nicholls:
Domains of Application for Formal Methods.
Z User Workshop 1991: 145-156 |
| 1990 |
|---|
| 1 | | J. E. Nicholls:
A Survey of Z Courses in the UK.
Z User Workshop 1990: 343-350 |
