Visualisation of the OBJ Term Re-writing Process. - Duncan S. Neary; Martin R. Woodward (Visual Representations and Interpretations, 1999)

Visual Construction of Algebraic Specifications. - Duncan S. Neary; Martin R. Woodward (VL, 2000)

Visual Representation of Algebraic Specifications: a User-Oriented Approach. - Duncan S. Neary; Martin R. Woodward (HCC, 2001)

An Experiment to Compare the Comprehensibility of Textual and Visual Forms of Algebraic Specifications. - Duncan S. Neary; Martin R. Woodward (J. Vis. Lang. Comput., 2002)

Visual construction of algebraic specifications. - Duncan S. Neary (2002)