Klinkenberg, L;    Batz, K;    Kaminski, BL;    Katoen, JP;    Moerman, J;    Winkler, T;      (2021)    Generating Functions for Probabilistic Programs.                     In:  Logic-Based Program Synthesis and Transformation.  (pp. pp. 231-248).  Springer       Green open access