Visualisation of Refinements. - Neil J. Robinson; Colin J. Fidge (Australian Software Engineering Conference, 2001)

Animation of Data Refinements. - Neil J. Robinson; Colin J. Fidge (APSEC, 2002)

Checking Z Data Refinements Using an Animation Tool. - Neil J. Robinson (ZB, 2002)

Modelling Large Railway Interlockings and Model Checking Small Ones. - Kirsten Winter; Neil J. Robinson (ACSC, 2003)

Incremental Derivation of Abstraction Relations for Data Refinement. - Neil J. Robinson (ICFEM, 2003)

Animation and visualisation of refinements - Neil J. Robinson (2005)