Monahan, Rosemary (2010) Data Refinement in Object-Oriented Verification. PhD thesis, Dublin City University.