Enviar aquest missatge de text: Refinement in Object−Z and CSP