@inbook(Adje2013,
 author       = {Assale Adje and Olivier Bouissou and Goubault-Larrecq, Jean and Eric Goubault and Sylvie Putot},
 year         = {2014},
 title        = {Static Analysis of Programs with Imprecise Probabilistic Inputs},
 pages        = {22--47},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-642-54108-7_2},
)
@book(Butler2018,
 author       = {Troy Butler and Don Estep and Nishant Panda},
 year         = {2018},
 title        = {\href{https://www.stat.colostate.edu/~estep/assets/notes_part1.pdf}{{A Ramble Through the Foundations of Probability [unpublished]}}},
)
@misc(Cousot1977,
 author       = {Patrick Cousot and Radhia Cousot},
 year         = {1977},
 title        = {{Abstract Interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints}},
 doi          = {10.1145/512950.512973},
)
@misc(Cousot1979,
 author       = {Patrick Cousot and Radhia Cousot},
 year         = {1979},
 title        = {{Systematic design of program analysis frameworks}},
 doi          = {10.1145/567752.567778},
)
@article(cousot2013,
 author       = {Patrick Cousot and Radhia Cousot and Manuel F{\"{a}}hndrich and Francesco Logozzo},
 year         = {2013},
 title        = {{Automatic inference of necessary preconditions}},
 journal      = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
 volume       = {7737 LNCS},
 pages        = {128--148},
 doi          = {10.1007/978-3-642-35873-9_10},
)
@inbook(CousotM12,
 author       = {Patrick Cousot and Michael Monerau},
 year         = {2012},
 title        = {Probabilistic Abstract Interpretation},
 pages        = {169--193},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-642-28869-2_9},
)
@article(Giesl2017,
 author       = {J{\"u}rgen Giesl and Cornelius Aschermann and Marc Brockschmidt and Fabian Emmes and Florian Frohn and Carsten Fuhs and Jera Hensel and Carsten Otto and Martin Pl{\"u}cker and Schneider-Kamp, Peter and Thomas Str{\"o}der and Stephanie Swiderski and Ren{\'e} Thiemann},
 year         = {2017},
 title        = {Analyzing Program Termination and Complexity Automatically with AProVE},
 journal      = {Journal of Automated Reasoning},
 volume       = {58},
 number       = {1},
 pages        = {3--31},
 doi          = {10.1007/s10817-016-9388-y},
)
@article(Halpern1989,
 author       = {Joseph Y. Halpern and Ronald Fagin},
 year         = {1989},
 title        = {{Modelling knowledge and action in distributed systems}},
 journal      = {Distributed Computing},
 volume       = {3},
 number       = {4},
 pages        = {159--177},
 doi          = {10.1007/BF01784885},
)
@inproceedings(Kirkeby2015,
 author       = {Maja H. Kirkeby and Mads Rosendahl},
 year         = {2016},
 title        = {Probabilistic Resource Analysis by Program Transformation},
 editor       = {Marko van Eekelen and Dal Lago, Ugo},
 booktitle    = {Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {60--80},
 doi          = {10.1007/978-3-319-46559-3_4},
)
@book(Klir2007,
 author       = {George J Klir},
 year         = {2007},
 title        = {{Uncertainty and Information: Foundations of Generalized Information Theory (Klir, G.J.; 2006)}},
 volume       = {18},
 doi          = {10.1109/TNN.2007.906888},
)
@article(Kozen1985,
 author       = {Dexter Kozen},
 year         = {1985},
 title        = {{A probabilistic PDL}},
 journal      = {Journal of Computer and System Sciences},
 volume       = {30},
 number       = {2},
 pages        = {162--178},
 doi          = {10.1016/0022-0000(85)90012-1},
)
@article(Mine2006,
 author       = {Antoine Min{\'{e}}},
 year         = {2006},
 title        = {{The octagon abstract domain}},
 journal      = {Higher-Order and Symbolic Computation},
 volume       = {19},
 number       = {1},
 pages        = {31--100},
 doi          = {10.1007/s10990-006-8609-1},
)
@inproceedings(Monniaux2000,
 author       = {David Monniaux},
 year         = {2000},
 title        = {Abstract Interpretation of Probabilistic Semantics},
 editor       = {Jens Palsberg},
 booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {1824},
 publisher    = {Springer},
 pages        = {322--339},
 doi          = {10.1007/978-3-540-45099-3\_17},
)
@inproceedings(Monniaux2001,
 author       = {David Monniaux},
 year         = {2001},
 title        = {Backwards Abstract Interpretation of Probabilistic Programs},
 editor       = {David Sands},
 booktitle    = {Programming Languages and Systems, 10th European Symposium on Programming, {ESOP} 2001 Genova, Italy, April 2-6, 2001, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {2028},
 publisher    = {Springer},
 pages        = {367--382},
 doi          = {10.1007/3-540-45309-1\_24},
)
@book(Nielson1999,
 author       = {Flemming Nielson and Hanne Riis Nielson and Chris Hankin},
 year         = {1999},
 title        = {{Principles of Program Analysis}},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-662-03811-6},
)
@book(Nielson2007,
 author       = {{Riis Nielson}, Hanne and Flemming Nielson},
 year         = {2007},
 title        = {{Semantics with Applications: an Appetizer}},
 doi          = {10.1159/000321363},
)
@incollection(Ruspini,
 author       = {Enrique H. Ruspini},
 title        = {{Epistemic Logics, Probability, and the Calculus of Evidence}},
 booktitle    = {Classic Works of the Dempster-Shafer Theory of Belief Functions},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {435--448},
 doi          = {10.1007/978-3-540-44792-4_17},
)
@article(conf:pldi:SankaranarayananC2013,
 author       = {Sriram Sankaranarayanan and Aleksandar Chakarov and Sumit Gulwani},
 year         = {2013},
 title        = {{Static analysis for probabilistic programs}},
 journal      = {ACM SIGPLAN Notices},
 volume       = {48},
 number       = {6},
 pages        = {447},
 doi          = {10.1145/2499370.2462179},
)
@article(Shafer1990,
 author       = {Glenn Shafer},
 year         = {1990},
 title        = {{Perspectives on the theory and practice of belief functions}},
 journal      = {International Journal of Approximate Reasoning},
 volume       = {4},
 number       = {5-6},
 pages        = {323--362},
 doi          = {10.1016/0888-613X(90)90012-Q},
)