A Tactic Driven Refinement Tool. - Lindsay Groves; Raymond G. Nickson; Mark Utting (Refine, 1992)

Metavariables and Conditional Refinements in the Refinement Calculus. - Raymond G. Nickson; Lindsay J. Groves (Refine, 1994)

The Cogito Development System. - Owen Traynor; Daniel Hazel; Peter Kearney; Andrew P. Martin; Ray Nickson; Luke Wildman (AMAST, 1997)

Supporting Contexts in Program Refinement. - Ray Nickson; Ian J. Hayes (Sci. Comput. Program., 1997)

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

A Survey of Software Development Practices in the New Zealand Software Industry . - Lindsay Groves; Ray Nickson; Greg Reeve; Steve Reeves; Mark Utting (Australian Software Engineering Conference, 2000)

Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology. - Mark Utting; Peter J. Robinson 001; Ray Nickson (LMS J. Comput. Math., 2002)

A refinement calculus for logic programs. - Ian J. Hayes; Robert Colvin; David Hemer; Paul A. Strooper; Ray Nickson (Theory Pract. Log. Program., 2002)

Developing Logic Programs from Specifications Using Stepwise Refinement. - Robert Colvin; Lindsay Groves; Ian J. Hayes; David Hemer; Ray Nickson; Paul A. Strooper (Program Development in Computational Logic, 2004)