Compositional Class Refinement in Object-Z.

Tim McComb, Graeme Smith

Browse the full FM paper archive.