Refinement in Object−Z and CSP - Bolton, C; Davies, J (2002)