J. E. Nicholls

J. E. Nicholls: Plain Guide to the Z Base Standard. Z User Workshop 1992: 52-61

J. E. Nicholls (Ed.): Z User Workshop, York, UK, 16-17 December 1991, Proceedings. Workshops in Computing, Springer 1992, isbn 3-540-19780-X

Jonathan P. Bowen, J. E. Nicholls (Eds.): Z User Workshop, London, UK, 14-15 December 1992, Proceedings. Workshops in Computing, Springer 1992, isbn 3-540-19818-0

J. E. Nicholls: Domains of Application for Formal Methods. Z User Workshop 1991: 145-156

J. E. Nicholls (Ed.): Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990. Workshops in Computing, Springer 1991, isbn 3-540-19672-2

J. E. Nicholls: A Survey of Z Courses in the UK. Z User Workshop 1990: 343-350