Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms. - Hirsch, Robin; Mikulás, Szabolcs; Stokes, Tim (Logic Journal of the IGPL, 2022)