✓

@Book{            book:834480,
  Author        = "Tennent, R. D.",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  ISBN          = "0521004012,9780521004015",
  Publisher     = "CUP",
  Title         = "Specifying Software: A Hands-On Introduction",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=F1D46CCAD951BCE1B50C345F6E9A4862",
  Year          = "2002",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=F1D46CCAD951BCE1B50C345F6E9A4862",
  File          = "R. D. Tennent-Specifying Software\_ A Hands-On Introduction-CUP (2002) (0) - a - a.pdf",
  file-2        = "R. D. Tennent-Specifying Software\_ A Hands-On Introduction-CUP (2002) (0) - a - a.djvu"
}

@Book{ book:834480, Author = "Tennent, R. D.", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", ISBN = "0521004012,9780521004015", Publisher = "CUP", Title = "Specifying Software: A Hands-On Introduction", URL = "http://gen.lib.rus.ec/book/index.php?md5=F1D46CCAD951BCE1B50C345F6E9A4862", Year = "2002", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=F1D46CCAD951BCE1B50C345F6E9A4862", File = "R. D. Tennent-Specifying Software_ A Hands-On Introduction-CUP (2002) (0) - a - a.pdf", file-2 = "R. D. Tennent-Specifying Software_ A Hands-On Introduction-CUP (2002) (0) - a - a.djvu" }