Jamie Shield Ian J. Hayes Refining Object-Oriented Invariants and Dynamic Constraints. 52- 2002 conf/apsec/2002 APSEC http://csdl.computer.org/comp/proceedings/apsec/2002/1850/00/18500052abs.htm db/conf/apsec/apsec2002.html#ShieldH02