Batz, K;    Kaminski, BL;    Katoen, J-P;    Matheja, C;    Noll, T;      (2019)    Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Programs.                   Proceedings of the ACM on Programming Languages , 3     , Article 34.  10.1145/3290347 <https://doi.org/10.1145/3290347>.       Green open access