Analysis of Logic Programs with Delay. - Andrew Heaton; Patricia M. Hill; Andy King (LOPSTR, 1997)

Abstract Domains for Universal and Existential Properties. - Andrew Heaton; Patricia M. Hill; Andy King (ESOP, 2000)

Assessing Vehicle Health Management Requirements for Unmanned Air Systems. - Andrew Heaton; Ip-Shing Fan; Craig Lawson; Jim McFeat; Julian Hill (Infotech@Aerospace, 2012)