Introducing Objects through Refinement.

Tim McComb, Graeme Smith

Browse the full FM paper archive.