Aguirre, A;    Barthe, G;    Hsu, J;    Kaminski, BL;    Katoen, J-P;    Matheja, C;      (2021)    A Pre-expectation Calculus for Probabilistic Sensitivity.                   Proceedings of the ACM on Programming Languages , 5  (POPL)    , Article 52.  10.1145/3434333 <https://doi.org/10.1145/3434333>.       Green open access