@Misc{            emy,
  Author        = "R{\'e}my, Didier",
  date-added    = "2014-03-23 19:12:59 +0000",
  date-modified = "2014-03-23 19:13:12 +0000",
  Title         = "Type systems for programming languages",
  File          = "Type systems for programming languages - Rémy (0) (0) - a - a - p.pdf",
  file-2        = "Type systems for programming languages - Rémy (1) (0) - a - a - p.pdf",
  file-3        = "Type systems for programming languages - Rémy (2) (0) - a - a - p.pdf",
  file-4        = "Type systems for programming languages - Rémy (4) (0) - a - a - p.pdf",
  file-5        = "Type systems for programming languages - Rémy (3) (0) - a - a - p.pdf"
}

@Misc{ emy, Author = "R{\'e}my, Didier", date-added = "2014-03-23 19:12:59 +0000", date-modified = "2014-03-23 19:13:12 +0000", Title = "Type systems for programming languages", File = "Type systems for programming languages - Rémy (0) (0) - a - a - p.pdf", file-2 = "Type systems for programming languages - Rémy (1) (0) - a - a - p.pdf", file-3 = "Type systems for programming languages - Rémy (2) (0) - a - a - p.pdf", file-4 = "Type systems for programming languages - Rémy (4) (0) - a - a - p.pdf", file-5 = "Type systems for programming languages - Rémy (3) (0) - a - a - p.pdf" }