@inproceedings(Abr05,
 author       = {S. Abramsky},
 year         = {2005},
 title        = {Abstract scalars, loops, and free traced and strongly compact closed categories},
 booktitle    = {International Conference on Algebra and Coalgebra in Computer Science},
 organization = {Springer},
 pages        = {1--29},
 doi          = {10.1007/11548133_1},
)
@article(Bon19,
 author       = {F. Bonchi and J. Holland and R. Piedeleu and P. Soboci{\'n}ski and F. Zanasi},
 year         = {2019},
 title        = {Diagrammatic algebra: from linear to concurrent systems},
 journal      = {Proceedings of the ACM on Programming Languages},
 volume       = {3},
 number       = {POPL},
 pages        = {1--28},
 doi          = {10.1145/3290338},
)
@article(Coe14,
 author       = {B. Coecke and T. Fritz and R.W. Spekkens},
 year         = {2016},
 title        = {A Mathematical Theory of Resources},
 journal      = {Information and Computation},
 volume       = {250},
 pages        = {59--86},
 doi          = {10.1016/j.ic.2016.02.008},
)
@article(Daw02,
 author       = {R. Dawson and Par\IeC{\'e}, R.},
 year         = {2002},
 title        = {What is a Free Double Category Like?},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {168},
 number       = {1},
 pages        = {19--34},
 doi          = {10.1016/S0022-4049(01)00049-4},
)
@article(Ehr63,
 author       = {C. Ehresmann},
 year         = {1963},
 title        = {Cat\IeC{\'e}gories Structur\IeC{\'e}es},
 journal      = {Annales scientifiques de l'\IeC{\'E}cole Normale Sup\IeC{\'e}rieure},
 volume       = {80},
 number       = {4},
 pages        = {349--426},
 doi          = {10.24033/asens.1125},
)
@article(Ell85,
 author       = {D. Ellerman},
 year         = {1985},
 title        = {The Mathematics of Double Entry Bookkeeping},
 journal      = {Mathematics Magazine},
 volume       = {58},
 pages        = {226--233},
 doi          = {10.2307/2689520},
)
@article(Euler1741,
 author       = {L. Euler},
 year         = {1741},
 title        = {Solutio Problematis ad Geometriam Situs Pertinentis},
 journal      = {Commentarii academiae scientiarum Petropolitanae},
 pages        = {128--140},
)
@article(Fio08,
 author       = {M. Fiore and S. Paoli and D. Pronk},
 year         = {2008},
 title        = {Model Structures on the Category of Small Double Categories},
 journal      = {Algebraic and Geometric Topology},
 volume       = {8},
 number       = {4},
 pages        = {1855--1959},
 doi          = {10.2140/agt.2008.8.1855},
)
@article(Gia20,
 author       = {A. Gianola and S. Kasangian and D. Manicardi and N. Sabadini and F. Schiavio and S. Tini},
 year         = {2020},
 title        = {CospanSpan(Graph): a Compositional Description of the Heart System},
 journal      = {Fundamenta Informaticae},
 volume       = {171},
 pages        = {221--237},
 doi          = {10.3233/FI-2020-1880},
)
@article(Gra04,
 author       = {M. Grandis and R. Par\'{e}},
 year         = {2004},
 title        = {Adjoint for Double Categories},
 journal      = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
 volume       = {45},
 number       = {3},
 pages        = {193--240},
 url          = {http://www.numdam.org/item/CTGDC_2004__45_3_193_0/},
)
@article(Gra17,
 author       = {M. Grandis and R. Par{\'e}},
 year         = {2017},
 title        = {Intercategories: A Framework for Three-Dimensional Category Theory},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {221},
 number       = {5},
 pages        = {999--1054},
 url          = {https://arxiv.org/abs/1412.0212},
)
@article(Joy91,
 author       = {A. Joyal and R. Street},
 year         = {1991},
 title        = {The Geometry of Tensor Calculus I},
 journal      = {Advances in Mathematics},
 volume       = {88},
 number       = {1},
 pages        = {55 -- 112},
 doi          = {10.1016/0001-8708(91)90003-P},
)
@article(Joy96,
 author       = {A. Joyal and R. Street and D. Verity},
 year         = {1996},
 title        = {Traced Monoidal Categories},
 journal      = {Mathematical Proceedings of the Cambridge Philosophical Society},
 volume       = {119},
 pages        = {447--468},
 doi          = {10.1017/S0305004100074338},
)
@inproceedings(Kat97,
 author       = {P. Katis and N. Sabadini and R.F.C Walters},
 year         = {1997},
 title        = {Span(Graph): A Categorical Algebra of Transition Systems},
 booktitle    = {Intnational Conference on Algebraic Methodology and Software Technology},
 publisher    = {Springer, Berlin, Heidelberg},
 pages        = {307--321},
 doi          = {10.1007/BFb0000479},
)
@article(Kat98,
 author       = {P. Katis and N. Sabadini and R.F.C. Walters},
 year         = {1998},
 title        = {On Partita Doppia},
 url          = {https://arxiv.org/abs/0803.2429},
)
@inproceedings(Kat00,
 author       = {P. Katis and N. Sabadini and R.F.C. Walters},
 year         = {2000},
 title        = {A Formalization of the IWIM Model},
 booktitle    = {International Conference on Coordination Languages and Models},
 organization = {Springer},
 pages        = {267--283},
 doi          = {10.1007/3-540-45263-X_17},
)
@article(Mye16,
 author       = {D.J. Myers},
 year         = {2016},
 title        = {{String Diagrams For Double Categories and Equipments}},
 url          = {https://arxiv.org/abs/1612.02762},
)
@inproceedings(Nes20,
 author       = {C. Nester},
 year         = {2021},
 title        = {{A Foundation for Ledger Structures}},
 booktitle    = {International Conference on Blockchain Economics, Security and Protocols},
 series       = {Open Access Series in Informatics (OASIcs)},
 volume       = {82},
 pages        = {7:1--7:13},
 doi          = {10.4230/OASIcs.Tokenomics.2020.7},
)
@inproceedings(Nes21,
 author       = {C. Nester},
 year         = {2021},
 title        = {The Structure of Concurrent Process Histories},
 booktitle    = {International Conference on Coordination Models and Languages},
 pages        = {209--224},
 doi          = {10.1007/978-3-030-78142-2_13},
)
@article(Shu08,
 author       = {M. Shulman},
 year         = {2008},
 title        = {Framed Bicategories and Monoidal Fibrations},
 journal      = {Theory and Applications of Categories},
 volume       = {20},
 number       = {18},
 pages        = {650--738},
 url          = {http://www.tac.mta.ca/tac/volumes/20/18/20-18abs.html},
)
@article(Shu10,
 author       = {M. Shulman},
 year         = {2010},
 title        = {{Constructing Symmetric Monoidal Bicategories}},
 url          = {https://arxiv.org/abs/1004.0993},
)
@article(Woo82,
 author       = {R. J. Wood},
 year         = {1982},
 title        = {Abstract Pro Arrows I},
 journal      = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
 volume       = {23},
 number       = {3},
 pages        = {279--290},
 url          = {http://www.numdam.org/item/CTGDC_1982__23_3_279_0/},
)