✓

@Book{            BartheKatoenSilva:CUP:2021,
  Author        = "Barthe, Gilles and Katoen, Joost-Pieter and Silva, Alexandra",
  date-added    = "2023-01-27 08:45:09 +0100",
  date-modified = "2023-01-27 08:45:53 +0100",
  ISBN          = "110848851X,9781108488518",
  Publisher     = "Cambridge University Press",
  Title         = "Foundations of Probabilistic Programming",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=55FF96FCB9AE992F1087FF916B53F560",
  Year          = "2021",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=55FF96FCB9AE992F1087FF916B53F560",
  File          = "Foundations of Probabilistic Programming.pdf",
  file-2        = "Foundations of Probabilistic Programming.epub"
}

@Book{ BartheKatoenSilva:CUP:2021, Author = "Barthe, Gilles and Katoen, Joost-Pieter and Silva, Alexandra", date-added = "2023-01-27 08:45:09 +0100", date-modified = "2023-01-27 08:45:53 +0100", ISBN = "110848851X,9781108488518", Publisher = "Cambridge University Press", Title = "Foundations of Probabilistic Programming", URL = "http://gen.lib.rus.ec/book/index.php?md5=55FF96FCB9AE992F1087FF916B53F560", Year = "2021", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=55FF96FCB9AE992F1087FF916B53F560", File = "Foundations of Probabilistic Programming.pdf", file-2 = "Foundations of Probabilistic Programming.epub" }