A Survey of Z Courses in the UK. - John E. Nicholls (Z User Workshop, 1990)

Benefits and risks of knowledge-based systems Report by a Working Party, UK Council for Science and Society, OUP, Oxford 1989, pp 76, £6.95. - John E. Nicholls (Knowl. Eng. Rev., 1990)

Domains of Application for Formal Methods. - John E. Nicholls (Z User Workshop, 1991)

Plain Guide to the Z Base Standard. - John E. Nicholls (Z User Workshop, 1992)

Understanding the differences between VDM and Z. - Ian J. Hayes; Cliff B. Jones; John E. Nicholls (ACM SIGSOFT Softw. Eng. Notes, 1994)