Seol mar théacs é seo: Refinement in Object−Z and CSP