✓

@Book{            book:274301,
  Author        = "Poernomo, Iman and Crossley, John N. and Wirsing, Martin",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Edition       = "1",
  ISBN          = "0387237593,9780387281834,9780387237596",
  Publisher     = "Springer",
  Series        = "Monographs in Computer Science",
  Title         = "Adapting Proofs-as-Programs : The Curry-Howard Protocol",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=5e027ef04cae88883d5456891780818b",
  Year          = "2005",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=5e027ef04cae88883d5456891780818b",
  File          = "[Iman\_Poernomo,\_John\_N.\_Crossley,\_Martin\_Wirsing]\_(z-lib.org) - a - a - a - a.pdf"
}

@Book{ book:274301, Author = "Poernomo, Iman and Crossley, John N. and Wirsing, Martin", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Edition = "1", ISBN = "0387237593,9780387281834,9780387237596", Publisher = "Springer", Series = "Monographs in Computer Science", Title = "Adapting Proofs-as-Programs : The Curry-Howard Protocol", URL = "http://gen.lib.rus.ec/book/index.php?md5=5e027ef04cae88883d5456891780818b", Year = "2005", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=5e027ef04cae88883d5456891780818b", File = "[Iman_Poernomo,_John_N._Crossley,_Martin_Wirsing]_(z-lib.org) - a - a - a - a.pdf" }