@PhdThesis{       BonchiPhD:2008,
  Author        = "Bonchi, Filippo",
  date-added    = "2014-01-03 17:22:54 +0000",
  date-modified = "2014-01-03 17:25:07 +0000",
  Title         = "Abstract Semantics by Observable Contexts",
  Year          = "2008",
  File          = "Abstract Semantics by Observable Contexts - Bonchi (0) (0) - a - a - f.pdf"
}

@PhdThesis{ BonchiPhD:2008, Author = "Bonchi, Filippo", date-added = "2014-01-03 17:22:54 +0000", date-modified = "2014-01-03 17:25:07 +0000", Title = "Abstract Semantics by Observable Contexts", Year = "2008", File = "Abstract Semantics by Observable Contexts - Bonchi (0) (0) - a - a - f.pdf" }