@misc{indiciae724d982d6665,
  title = {Divergences on Monads for Relational Program Logics},
  author = {Tetsuya Sato and Shin-ya Katsumata},
  year = {2022},
  doi = {10.1017/s0960129523000245},
  url = {https://arxiv.org/abs/2206.05716},
  note = {Source identifier: 2206.05716}
}