Batz, K;    Kaminski, BL;    Katoen, J-P;    Matheja, C;      (2021)    Relatively Complete Verification of Probabilistic Programs: An Expressive Language for Expectation-Based Reasoning.                   Proceedings of the ACM on Programming Languages , 5  (POPL)    , Article 39.  10.1145/3434320 <https://doi.org/10.1145/3434320>.       Green open access