Reference. Context-free languages of string diagrams [earnshaw-román-2024-cfml] 2025 Matt Earnshaw , Mario Román FoSSaCS 2025