Emulating Design by Contract in C++. - David Maley; Ivor T. A. Spence (TOOLS (29), 1999)

But Who Will Guard the Guardians? - David Maley; Ivor T. A. Spence (TOOLS (34), 2000)

Config: a case study in combining software engineering techniques. - David Maley; Ivor T. A. Spence (Sci. Program., 2000)

Mind the gap : formalising the development of scientific software. - David Maley (2000)