@article{thealgebraofnondeterministicprograms,
  title = {The algebra of non-deterministic programs: demonic operators, orders and axioms},
  author = {Robin Hirsch and Szabolcs Mikulás and Tim Stokes},
  year = {2020},
  eprint = {2009.12081},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2009.12081v2},
}