@misc{indiciae6883f00b9067,
  title = {Generating Functions for Probabilistic Programs},
  author = {Lutz Klinkenberg and Kevin Batz and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Joshua Moerman and Tobias Winkler},
  year = {2020},
  url = {https://arxiv.org/abs/2007.06327},
  note = {Source identifier: 2007.06327}
}