On the expressive power of CSP extended by priority - Roscoe, A (2014)