Hirsch, R; Stokes, T; (2021) Axioms for signatures with domain and demonic composition. Algebra universalis , 82 (2) , Article 24. 10.1007/s00012-021-00719-4.