Structuring Retrenchments in B by Decomposition.

Michael Poppleton, Richard Banach

Browse the full FM paper archive.