@inbook{SuccessesAndFailures,
  title = "The successes and failures of behavioural models",
  author = "A. W. Roscoe and R. Forster and G.M. Reed",
  year = "2000",
  booktitle = "Millennial Perspectives in Computer Science",
  publisher = "Palgrave",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/78.pdf",
}