The SAZ Project: Integrating SSADM and Z.. - Fiona Polack; Mark Whiston; Keith Mander (FME, 1993)

Software Quality Assurance Using the SAZ Method. - Fiona Polack; Keith Mander (Z User Workshop, 1994)

Rigorous specification using structured systems analysis and Z. - Keith Mander; Fiona A. C. Polack (Inf. Softw. Technol., 1995)

Automated Program Flaw Finding Using Simulated Annealing. - Nigel J. Tracey; John A. Clark; Keith Mander (ISSTA, 1998)

An Automated Framework for Structural Test-Data Generation. - Nigel J. Tracey; John A. Clark; Keith Mander; John A. McDermid (ASE, 1998)

Strategies for lifecycle concurrency and iteration - A system dynamics approach. - Antony Powell; Keith Mander; Duncan Brown (J. Syst. Softw., 1999)

Automated test-data generation for exception conditions. - Nigel J. Tracey; John A. Clark; Keith Mander; John A. McDermid (Softw. Pract. Exp., 2000)

The decline and fall of the American programmer. - Keith Mander (Commun. ACM, 2001)

Software Vaccination: An Artificial Immune System Approach to Mutation Testing. - Peter May; Keith Mander; Jon Timmis (ICARIS, 2003)

Back to the future? - Keith Mander (ITiCSE, 2004)

Grand Challenges in Computing: Education - A Summary. - Andrew D. McGettrick; Roger D. Boyle; Roland N. Ibbett; John Lloyd; Gillian Lovegrove; Keith Mander (Comput. J., 2005)

Immune and Evolutionary Approaches to Software Mutation Testing. - Peter May; Jon Timmis; Keith Mander (ICARIS, 2007)