@article{DBLP: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://link.springer.de/link/service/journals/00446/bibs/9012002/90120091.htm",
  volume = "12",
}