Reference. String diagrammatic trace theory [earnshaw-2023-string-diagrammatic-trace-theory-talk]