@misc{indiciae9a7ff2300832,
  title = {A Recipe for State-and-Effect Triangles},
  author = {Bart Jacobs},
  year = {2017},
  doi = {10.23638/lmcs-13(2:6)2017},
  url = {https://arxiv.org/abs/1703.09034},
  note = {Source identifier: 1703.09034}
}