Exact Bayesian inference on discrete models via probability generating functions: a probabilistic programming approach - Zaiser, F; Murawski, AS; Ong, C-HL (Advances in Neural Information Processing Systems 36, 2024)