✓

@Book{            Reynold,
  Author        = "Reynolds, John C.",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:27 +0200",
  Keywords      = "lambda calculus and programming languages",
  Publisher     = "Cambridge University Press",
  Title         = "Theories of Programming Languages",
  Year          = "1998",
  File          = "../.Trash/Theories of Programming Languages - Reynolds (0) (0).pdf"
}

@Book{ Reynold, Author = "Reynolds, John C.", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:27 +0200", Keywords = "lambda calculus and programming languages", Publisher = "Cambridge University Press", Title = "Theories of Programming Languages", Year = "1998", File = "../.Trash/Theories of Programming Languages - Reynolds (0) (0).pdf" }