You are about to access our book library "Refinement in Z and Object-Z: Foundations and Advanced Applications full version" .