Kwing Hei Li, Alejandro Aguirre, Simon Gregesen, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal: Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs. Zenodo 2025