✓

@Book{            book:3081654,
  Author        = "Cousot, Patrick",
  date-added    = "2023-05-09 10:45:05 +0200",
  date-modified = "2023-05-09 10:45:05 +0200",
  ISBN          = "9780262361521,0262361523",
  Publisher     = "MIT Press",
  Title         = "Principles of abstract interpretation",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=13C68AF103A1DDA966E2B99093F30279",
  Year          = "2021",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=13C68AF103A1DDA966E2B99093F30279",
  File          = "Patrick Cousot - Principles of abstract interpretation-MIT Press (2021)1.epub"
}

@Book{ book:3081654, Author = "Cousot, Patrick", date-added = "2023-05-09 10:45:05 +0200", date-modified = "2023-05-09 10:45:05 +0200", ISBN = "9780262361521,0262361523", Publisher = "MIT Press", Title = "Principles of abstract interpretation", URL = "http://gen.lib.rus.ec/book/index.php?md5=13C68AF103A1DDA966E2B99093F30279", Year = "2021", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=13C68AF103A1DDA966E2B99093F30279", File = "Patrick Cousot - Principles of abstract interpretation-MIT Press (2021)1.epub" }