S. Abramsky (2005):
Abstract scalars, loops, and free traced and strongly compact closed categories.
In: International Conference on Algebra and Coalgebra in Computer Science.
Springer,
pp. 1–29,
doi:10.1007/11548133_1.
F. Bonchi, J. Holland, R. Piedeleu, P. Sobociński & F. Zanasi (2019):
Diagrammatic algebra: from linear to concurrent systems.
Proceedings of the ACM on Programming Languages 3(POPL),
pp. 1–28,
doi:10.1145/3290338.
B. Coecke, T. Fritz & R.W. Spekkens (2016):
A Mathematical Theory of Resources.
Information and Computation 250,
pp. 59–86,
doi:10.1016/j.ic.2016.02.008.
R. Dawson & R. Paré (2002):
What is a Free Double Category Like?.
Journal of Pure and Applied Algebra 168(1),
pp. 19–34,
doi:10.1016/S0022-4049(01)00049-4.
C. Ehresmann (1963):
Catégories Structurées.
Annales scientifiques de l'École Normale Supérieure 80(4),
pp. 349–426,
doi:10.24033/asens.1125.
D. Ellerman (1985):
The Mathematics of Double Entry Bookkeeping.
Mathematics Magazine 58,
pp. 226–233,
doi:10.2307/2689520.
L. Euler (1741):
Solutio Problematis ad Geometriam Situs Pertinentis.
Commentarii academiae scientiarum Petropolitanae,
pp. 128–140.
M. Fiore, S. Paoli & D. Pronk (2008):
Model Structures on the Category of Small Double Categories.
Algebraic and Geometric Topology 8(4),
pp. 1855–1959,
doi:10.2140/agt.2008.8.1855.
A. Gianola, S. Kasangian, D. Manicardi, N. Sabadini, F. Schiavio & S. Tini (2020):
CospanSpan(Graph): a Compositional Description of the Heart System.
Fundamenta Informaticae 171,
pp. 221–237,
doi:10.3233/FI-2020-1880.
M. Grandis & R. Paré (2004):
Adjoint for Double Categories.
Cahiers de Topologie et Géométrie Différentielle Catégoriques 45(3),
pp. 193–240.
Available at http://www.numdam.org/item/CTGDC_2004__45_3_193_0/.
M. Grandis & R. Paré (2017):
Intercategories: A Framework for Three-Dimensional Category Theory.
Journal of Pure and Applied Algebra 221(5),
pp. 999–1054.
Available at https://arxiv.org/abs/1412.0212.
A. Joyal & R. Street (1991):
The Geometry of Tensor Calculus I.
Advances in Mathematics 88(1),
pp. 55 – 112,
doi:10.1016/0001-8708(91)90003-P.
A. Joyal, R. Street & D. Verity (1996):
Traced Monoidal Categories.
Mathematical Proceedings of the Cambridge Philosophical Society 119,
pp. 447–468,
doi:10.1017/S0305004100074338.
P. Katis, N. Sabadini & R.F.C Walters (1997):
Span(Graph): A Categorical Algebra of Transition Systems.
In: Intnational Conference on Algebraic Methodology and Software Technology.
Springer, Berlin, Heidelberg,
pp. 307–321,
doi:10.1007/BFb0000479.
P. Katis, N. Sabadini & R.F.C. Walters (2000):
A Formalization of the IWIM Model.
In: International Conference on Coordination Languages and Models.
Springer,
pp. 267–283,
doi:10.1007/3-540-45263-X_17.
C. Nester (2021):
A Foundation for Ledger Structures.
In: International Conference on Blockchain Economics, Security and Protocols,
Open Access Series in Informatics (OASIcs) 82,
pp. 7:1–7:13,
doi:10.4230/OASIcs.Tokenomics.2020.7.
C. Nester (2021):
The Structure of Concurrent Process Histories.
In: International Conference on Coordination Models and Languages,
pp. 209–224,
doi:10.1007/978-3-030-78142-2_13.