@TechReport{      WinskelNielsen,
  Author        = "Winskel, Glynn and Nielsen, Mogens",
  date-added    = "2013-04-16 15:38:40 +0000",
  date-modified = "2013-04-16 15:38:53 +0000",
  Title         = "Models for Concurrency",
  Year          = "1994",
  File          = "Models for Concurrency - Winskel, Nielsen (0) (0) - a - a - s.pdf"
}

@TechReport{ WinskelNielsen, Author = "Winskel, Glynn and Nielsen, Mogens", date-added = "2013-04-16 15:38:40 +0000", date-modified = "2013-04-16 15:38:53 +0000", Title = "Models for Concurrency", Year = "1994", File = "Models for Concurrency - Winskel, Nielsen (0) (0) - a - a - s.pdf" }