@misc(alman2020refined,
 author       = {Josh Alman and Virginia Vassilevska Williams},
 year         = {2020},
 title        = {A Refined Laser Method and Faster Matrix Multiplication},
)
@article(Bonchi_2016,
 author       = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Paweł Sobociński and Fabio Zanasi},
 year         = {2016},
 title        = {Rewriting modulo symmetric monoidal structure},
 journal      = {Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science},
 url          = {http://dx.doi.org/10.1145/2933575.2935316},
)
@book(coecke_kissinger_2017,
 author       = {Bob Coecke and Aleks Kissinger},
 year         = {2017},
 title        = {Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316219317},
)
@misc(OpenGraphs,
 author       = {Lucas Dixon and Aleks Kissinger},
 year         = {2010},
 title        = {Open Graphs and Monoidal Theories},
)
@misc(genovese2021categorical,
 author       = {Fabrizio Genovese and Jelle Herold},
 year         = {2021},
 title        = {A Categorical Semantics for Hierarchical Petri Nets},
)
@misc(genovese2021nets,
 author       = {Fabrizio Romano Genovese and Fosco Loregian and Daniele Palombi},
 year         = {2021},
 title        = {Nets with Mana: A Framework for Chemical Reaction Modelling},
)
@article(GustavsonSparse,
 author       = {Fred G. Gustavson},
 year         = {1978},
 title        = {Two Fast Algorithms for Sparse Matrices: Multiplication and Permuted Transposition},
 journal      = {ACM Trans. Math. Softw.},
 volume       = {4},
 number       = {3},
 pages        = {250–269},
 url          = {https://doi.org/10.1145/355791.355796},
)
@misc(MESH,
 author       = {Benjamin Heintz and Rankyung Hong and Shivangi Singh and Gaurav Khandelwal and Corey Tesdahl and Abhishek Chandra},
 year         = {2019},
 title        = {MESH: A Flexible Distributed Hypergraph Processing System},
)
@article(Lack2004,
 author       = {Stephen Lack},
 year         = {2004},
 title        = {Composing PROPs},
 journal      = {Theory and Applications of Categories},
 volume       = {13},
 number       = {9},
 pages        = {147--163},
 url          = {http://www.tac.mta.ca/tac/volumes/13/9/13-09abs.html},
)
@article(lafont_towards_2003,
 author       = {Yves Lafont},
 year         = {2003},
 title        = {Towards an algebraic theory of {Boolean} circuits},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {184},
 number       = {2-3},
 pages        = {257--310},
 doi          = {10.1016/S0022-4049(03)00069-0},
)
@article(Catlab,
 author       = {Evan Patterson and Andrew Baas and James Fairbanks and Micah Halter and Sophie Libkind and Owen Lynch},
 year         = {2020},
 title        = {Catlab.jl: {A} framework for applied category theory},
 doi          = {10.17605/OSF.IO/HMNFE},
 url          = {https://osf.io/hmnfe/},
 note         = {Publisher: OSF},
)
@inproceedings(patterson2020,
 author       = {Evan Patterson and David I. Spivak and Dmitry Vagner},
 year         = {2020},
 title        = {Wiring diagrams as normal forms for computing in symmetric monoidal categories},
 booktitle    = {Proceedings of the 2020 Applied Category Theory Conference},
 url          = {http://dx.doi.org/10.4204/EPTCS.333.4},
)
@article(selinger_survey_2010,
 author       = {Peter Selinger},
 year         = {2010},
 title        = {A survey of graphical languages for monoidal categories},
 journal      = {\href{https://arxiv.org/abs/0908.3347}{arXiv:0908.3347 [math]}},
 volume       = {813},
 pages        = {289--355},
 doi          = {10.1007/978-3-642-12821-9-4},
)
@inproceedings(practical_parallel_hypergraph,
 author       = {Julian Shun},
 year         = {2020},
 title        = {Practical Parallel Hypergraph Algorithms},
 booktitle    = {Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming},
 series       = {PPoPP '20},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {232–249},
 url          = {https://doi.org/10.1145/3332466.3374527},
)
@inproceedings(Cartographer,
 author       = {Pawel Sobocinski and Paul W. Wilson and Fabio Zanasi},
 year         = {2019},
 title        = {{CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper)}},
 editor       = {Markus Roggenbach and Ana Sokolova},
 booktitle    = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {139},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {20:1--20:7},
 doi          = {10.4230/LIPIcs.CALCO.2019.20},
 url          = {http://drops.dagstuhl.de/opus/volltexte/2019/11448},
)
@misc(spivak2020poly,
 author       = {David I. Spivak},
 year         = {2020},
 title        = {Poly: An abundant categorical setting for mode-dependent dynamics},
)
@misc(coc,
 author       = {Paul Wilson and Fabio Zanasi},
 year         = {2021},
 title        = {The Cost of Compositionality: A High-Performance Implementation of String Diagram Composition},
 url          = {https://arxiv.org/abs/2105.09257},
)
@article(FastSparseMatrixMultiplication,
 author       = {Raphael Yuster and Uri Zwick},
 year         = {2005},
 title        = {Fast Sparse Matrix Multiplication},
 journal      = {ACM Trans. Algorithms},
 volume       = {1},
 number       = {1},
 pages        = {2–13},
 url          = {https://doi.org/10.1145/1077464.1077466},
)