Reference. Monoidal languages [earnshaw-2023-monoidal-languages-talk]