Reference. From monoidal automata to string diagrams for effects [earnshaw-2024-monoidal-automata-talk]