Software Visualisation in a Generic Development Environment. - Warwick Allison; David A. Carrington; Tim Jones; Larry Stewart-Zerba; Geoffrey Watson; Jim Welsh (Australian Software Engineering Conference, 1996)

A Program Refinement Tool. - David A. Carrington; Ian J. Hayes; Ray Nickson; Geoffrey Watson; Jim Welsh (Formal Aspects Comput., 1998)

The deadline command. - Colin J. Fidge; Ian J. Hayes; Geoffrey Watson (IEE Proc. Softw., 1999)

A generic proof checker - Geoffrey Watson (2001)

Refining Exceptions Using King and Morgan's exit Construct. - Geoffrey Watson (APSEC, 2002)

Compilation by Refinement for a Practical Assembly Language. - Geoffrey Watson (ICFEM, 2003)

A Partial-Correctness Semantics for Modelling Assembler Programs. - Geoffrey Watson; Colin J. Fidge (SEFM, 2003)

MDA-Based Re-engineering with Object-Z. - Jörn Guy Süß; Tim McComb; Soon-Kyeong Kim; Luke Wildman; Geoffrey Watson (MoDELS, 2006)

Automated Generation of Test Cases Using Model-Driven Architecture. - Abu Zafer Javed; Paul A. Strooper; Geoffrey Watson (AST, 2007)