Structural Refinement in Object-Z/CSP.

John Derrick, Graeme Smith

Browse the full IFM paper archive.