Moggi, E., Taha, W. and Thunberg, J. 2020. Sound Over-Approximation of Probabilities. Acta Cybernetica. 24, 3 (Mar. 2020), 269-285. DOI:https://doi.org/10.14232/actacyb.24.3.2020.2.