@Unpublished{     GordonCollavizza,
  Author        = "Gordon, Mike and Collavizza, Helene",
  date-added    = "2012-04-15 11:18:30 +0100",
  date-modified = "2012-04-15 11:19:06 +0100",
  Keywords      = "axiomatic semantics",
  Title         = "Forward with Hoare",
  Year          = "2010",
  File          = "Forward with Hoare - Gordon, Collavizza (0) (0) - a - a - a.pdf"
}

@Unpublished{ GordonCollavizza, Author = "Gordon, Mike and Collavizza, Helene", date-added = "2012-04-15 11:18:30 +0100", date-modified = "2012-04-15 11:19:06 +0100", Keywords = "axiomatic semantics", Title = "Forward with Hoare", Year = "2010", File = "Forward with Hoare - Gordon, Collavizza (0) (0) - a - a - a.pdf" }