Reference. String diagrammatic trace theory