Wiring diagrams as normal forms for computing in symmetric monoidal categories. - Evan Patterson; David I. Spivak; Dmitry Vagner (ACT, 2020)