@misc{indiciaee741e919c18e,
  title = {Relational reasoning via probabilistic coupling},
  author = {Gilles Barthe and Thomas Espitau and Benjamin Grégoire and Justin Hsu and Léo Stefanesco and Pierre-Yves Strub},
  year = {2015},
  doi = {10.1007/978-3-662-48899-7\_27},
  url = {https://arxiv.org/abs/1509.03476},
  note = {Source identifier: 1509.03476}
}