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