Reference. Languages of string diagrams (PhD thesis) [earnshaw-2025-languages-of-string-diagrams]