h1

% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@BOOK{Barthe:814578,
      key          = {814578},
      editor       = {Barthe, Gilles and Katoen, Joost-Pieter and Silva,
                      Alexandra},
      title        = {{F}oundations of probabilistic programming},
      address      = {Cambridge, United Kingdom},
      publisher    = {Cambridge University Press},
      reportid     = {RWTH-2021-02242},
      isbn         = {978-1-108-48851-8},
      pages        = {xiv, 568 Seiten : Illustrationen},
      year         = {2021},
      note         = {Online publication date: November 2020},
      cin          = {121310 / 120000},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$},
      pnm          = {FRAPPANT - Formal Reasoning About Probabilistic Programs:
                      Breaking New Ground for Automation (787914)},
      pid          = {G:(EU-Grant)787914},
      typ          = {PUB:(DE-HGF)3},
      doi          = {10.1017/9781108770750},
      url          = {https://publications.rwth-aachen.de/record/814578},
}