Gavin Lowe Jim Davies Using CSP to Verify Sequential Consistency. 91-103 1999 12 Distributed Computing 2-3 http://link.springer.de/link/service/journals/00446/bibs/9012002/90120091.htm db/journals/dc/dc12.html#LoweD99