Learning and Applying Generalised Solutions using Higher Order Resolution. - Michael R. Donat; Lincoln A. Wallen (CADE, 1988)

S: A Machine Readable Specification Notation based on Higher Order Logic. - Jeffrey J. Joyce; Nancy A. Day; Michael R. Donat (TPHOLs, 1994)

Enhancing cleanroom techniques with refinement calculus. - Michael R. Donat (CASCON, 1995)

Automating Formal Specification-Based Testing. - Michael R. Donat (TAPSOFT, 1997)

Debugging in an Asynchronous World. - Michael R. Donat (ACM Queue, 2003)