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