On the expressive power of CSP refinement - Roscoe, A (2003)