@book{awr135,
  title = "Understanding Concurrent Systems",
  author = "A.W. Roscoe",
  year = "2010",
  isbn = "978-1-84882-257-3",
  publisher = "Springer",
  size = "533pp",
  url = "http://www.comlab.ox.ac.uk/ucs",
}