✓

@Book{            274558,
  Author        = "Reynolds, John C.",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  md5           = "2611e51eea79460d57d89baf977d7259",
  resid         = "274558",
  size          = "4320339",
  status        = "OK",
  Title         = "Theories of Programming Languages",
  Type          = "pdf",
  Year          = "2009",
  File          = "John C. Reynolds-Theories of Programming Languages-Cambridge University Press (2009) (0) - a - a.pdf"
}

@Book{ 274558, Author = "Reynolds, John C.", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", md5 = "2611e51eea79460d57d89baf977d7259", resid = "274558", size = "4320339", status = "OK", Title = "Theories of Programming Languages", Type = "pdf", Year = "2009", File = "John C. Reynolds-Theories of Programming Languages-Cambridge University Press (2009) (0) - a - a.pdf" }