✓

@Book{            book:922219,
  Author        = "Bird, Richard and de Moor, Oege",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Edition       = "1",
  ISBN          = "013507245X,9780135072455",
  Publisher     = "Prentice Hall",
  Series        = "Prentice-Hall International Series in Computer Science",
  Title         = "The Algebra of Programming",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=d7a1a20278136e835445cf98614b28f5",
  Year          = "1997",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=d7a1a20278136e835445cf98614b28f5",
  File          = "[Richard\_Bird,\_Oege\_de\_Moor]\_The\_Algebra\_of\_Progra(b-ok.org) (0) - a - a.pdf",
  file-2        = "[Richard\_Bird,\_Oege\_de\_Moor]\_The\_Algebra\_of\_Progra(b-ok.org) (0) - a - a.djvu"
}

@Book{ book:922219, Author = "Bird, Richard and de Moor, Oege", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Edition = "1", ISBN = "013507245X,9780135072455", Publisher = "Prentice Hall", Series = "Prentice-Hall International Series in Computer Science", Title = "The Algebra of Programming", URL = "http://gen.lib.rus.ec/book/index.php?md5=d7a1a20278136e835445cf98614b28f5", Year = "1997", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=d7a1a20278136e835445cf98614b28f5", File = "[Richard_Bird,_Oege_de_Moor]_The_Algebra_of_Progra(b-ok.org) (0) - a - a.pdf", file-2 = "[Richard_Bird,_Oege_de_Moor]_The_Algebra_of_Progra(b-ok.org) (0) - a - a.djvu" }