Using Theory Interpretation to Mechanise the Reals in a Theorem Prover. - Jamie Shield; Ian J. Hayes; David A. Carrington (CATS, 2001)

Refining Object-Oriented Invariants and Dynamic Constraints. - Jamie Shield; Ian J. Hayes (APSEC, 2002)