Axioms for signatures with domain and demonic composition. - Hirsch, Robin; Stokes, Tim (Algebra Universalis, 2021)