Automation for Exception Freedom Proofs. - Bill J. Ellis; Andrew Ireland (ASE, 2003)

An Integration of Program Analysis and Automated Theorem Proving. - Bill J. Ellis; Andrew Ireland (IFM, 2004)

Invariant Patterns for Program Reasoning. - Andrew Ireland; Bill J. Ellis; Tommy Ingulfsen (MICAI, 2004)

An Integrated Approach to High Integrity Software Verification. - Andrew Ireland; Bill J. Ellis; Andrew Cook; Roderick Chapman; Janet Barnes (J. Autom. Reason., 2006)