@misc{indiciaeb28c2737c1c6,
  title = {A Diagrammatic Algebra for Program Logics},
  author = {Filippo Bonchi and Alessandro Di Giorgio and Elena Di Lavore},
  year = {2024},
  url = {https://arxiv.org/abs/2410.03561},
  note = {Source identifier: 2410.03561}
}