@article{journals/dc/LoweD99,
  title = "Using CSP to Verify Sequential Consistency",
  author = "Gavin Lowe and Jim Davies",
  year = "1999",
  journal = "Distributed Computing",
  number = "2-3",
  pages = "91-103",
  url = "http://www.cs.ox.ac.uk/people/gavin.lowe/Papers/cache.ps.gz",
  volume = "12",
}