Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach - Zaiser, Fabian; Murawski, Andrzej; Ong, Chih-Hao Luke (Advances in Neural Information Processing Systems, 2023)