@Article{         Floyd,
  Author        = "Floyd, RW",
  date-added    = "2012-04-12 08:05:07 +0200",
  date-modified = "2013-07-10 20:44:40 +0000",
  doi           = {https://dx.doi.org/10.1090/psapm/019/0235771},
  Journal       = "Mathematical aspects of computer science",
  Keywords      = "classic and axiomatic semantics",
  Number        = "19-32",
  Title         = "{Assigning meanings to programs}",
  Volume        = "19",
  Year          = "1967",
  File          = "Assigning meanings to programs - Floyd (0) (0) - a - a - m.pdf"
}

@Article{ Floyd, Author = "Floyd, RW", date-added = "2012-04-12 08:05:07 +0200", date-modified = "2013-07-10 20:44:40 +0000", doi = {https://dx.doi.org/10.1090/psapm/019/0235771}, Journal = "Mathematical aspects of computer science", Keywords = "classic and axiomatic semantics", Number = "19-32", Title = "{Assigning meanings to programs}", Volume = "19", Year = "1967", File = "Assigning meanings to programs - Floyd (0) (0) - a - a - m.pdf" }