TY  - RPRT
TI  - The algebra of non-deterministic programs: demonic operators, orders and axioms
AU  - Robin Hirsch
AU  - Szabolcs Mikulás
AU  - Tim Stokes
PY  - 2021
UR  - https://arxiv.org/abs/2009.12081
ID  - 2009.12081
ER  -