Moggi, Eugenio, Walid Taha, and Johan Thunberg. “Sound Over-Approximation of Probabilities”. Acta Cybernetica 24, no. 3 (March 16, 2020): 269-285. Accessed March 29, 2024. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4041.