A Functional Logic for Higher Level Reasoning About Computation. - John Staples; Peter J. Robinson 001; Daniel Hazel (Formal Aspects Comput., 1994)

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

Possum: An Animator for the SUM Specification Language. - Daniel Hazel; Paul A. Strooper; Owen Traynor (APSEC, 1997)

Requirements Engineering and Verification using Specification Animation. - Daniel Hazel; Paul A. Strooper; Owen Traynor (ASE, 1998)