On the expressiveness of CSP (2011)

(untitled) - Roscoe, A