@proceedings{PittsburghSeminarConcurrency,
  title = "Proceedings of the {Pittsburgh} seminar on concurrency",
  year = "1985",
  editor = "A. W. Roscoe and S.D. Brookes and G. Winskel",
  number = "197",
  publisher = "Springer",
  series = "LNCS",
  url = "http://www.springerlink.com/content/l11x0377l276/?p=888bb7ca2d8845db84c4663e9e7407e0&pi=0",
}