The geometry of interaction as a theory of cut elimination with structure-sharing. - Katherine A. Eastaughffe (1995)

A Tool for Practical Reasoning about State Machine Designs. - Anthony Cant; Katherine A. Eastaughffe; Maris A. Ozols (Australian Software Engineering Conference, 1996)

DOVE: A Tool for Design Oriented Verification and Evaluation. - Maris A. Ozols; Katherine A. Eastaughffe; Anthony Cant (AMAST, 1997)

Proof Tactics for a Theory of State Machines in a Graphical Environment. - Katherine A. Eastaughffe; Maris A. Ozols; Anthony Cant (CADE, 1997)

XIsabelle: A System Description. - Maris A. Ozols; Anthony Cant; Katherine A. Eastaughffe (CADE, 1997)