Using CSP to Verify Sequential Consistency - Lowe, G; Davies, J (Distributed Computing, 1999)