@Proceedings{     BEAT13,
  Editor        = "Bravetti, Mario and Dezani-Ciancaglini, Mariangiola and Drossopoulou, Sophia and Gay, Simon and Huttel, Hans and Kobayashi, Naoki and Ravara, Antonio and Rehof, Jakob",
  Address       = "N/A",
  date-added    = "2013-11-15 11:09:37 +0000",
  date-modified = "2013-11-15 11:12:31 +0000",
  Keywords      = "behavioural types",
  Month         = "January",
  Number        = "1",
  Organization  = "N/A",
  Publisher     = "N/A",
  Title         = "1st International Workshop on Behavioural Types",
  Volume        = "1",
  Year          = "2013"
}

@Proceedings{ BEAT13, Editor = "Bravetti, Mario and Dezani-Ciancaglini, Mariangiola and Drossopoulou, Sophia and Gay, Simon and Huttel, Hans and Kobayashi, Naoki and Ravara, Antonio and Rehof, Jakob", Address = "N/A", date-added = "2013-11-15 11:09:37 +0000", date-modified = "2013-11-15 11:12:31 +0000", Keywords = "behavioural types", Month = "January", Number = "1", Organization = "N/A", Publisher = "N/A", Title = "1st International Workshop on Behavioural Types", Volume = "1", Year = "2013" }