✓

@Book{            Stump:ACM:2016,
  Author        = "Stump, Aaron",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-11-14 22:51:40 +0100",
  ISBN          = "1970001240,9781970001242",
  Keywords      = "agda",
  Publisher     = "ACM Books",
  Title         = "Verified Functional Programming in Agda",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=6c9637553d5ccbe1a9d232b5f7aeda2f",
  Year          = "2016",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=6c9637553d5ccbe1a9d232b5f7aeda2f",
  File          = "Verified Functional Programming in Agda - 2841316 - a.pdf",
  file-2        = "[Aaron\_Stump]\_Verified\_Functional\_Programming\_in\_A(b-ok.cc)-a (0) - a - a.pdf"
}

@Book{ Stump:ACM:2016, Author = "Stump, Aaron", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-11-14 22:51:40 +0100", ISBN = "1970001240,9781970001242", Keywords = "agda", Publisher = "ACM Books", Title = "Verified Functional Programming in Agda", URL = "http://gen.lib.rus.ec/book/index.php?md5=6c9637553d5ccbe1a9d232b5f7aeda2f", Year = "2016", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=6c9637553d5ccbe1a9d232b5f7aeda2f", File = "Verified Functional Programming in Agda - 2841316 - a.pdf", file-2 = "[Aaron_Stump]_Verified_Functional_Programming_in_A(b-ok.cc)-a (0) - a - a.pdf" }