On the expressiveness of CSP - Roscoe, A (2011)