@inproceedings{Trains,
  title = "A {CSP} solution to the \emph{trains} problem",
  author = "A. W. Roscoe",
  year = "1985",
  booktitle = "{The Analysis of Concurrent Systems}",
  editor = "B.T. Denvir et al",
  number = "207",
  pages = "384--388",
  publisher = "Springer",
  series = "{LNCS}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/15.pdf",
}