@book{theoryAndPractice,
  title = "The theory and practice of concurrency",
  author = "A. W. Roscoe",
  year = "1998",
  isbn = "0-13-6774409-5",
  note = "The text book teaching material can be found at \url{http://www.comlab.ox.ac.uk/publications/books/concurrency/}",
  publisher = "{Prentice Hall}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/68b.pdf",
}