@article(sequentialGames,
 author       = {Mart{\'\i}n Escard{\'o} and Paulo Oliva},
 year         = {2010},
 title        = {Sequential games and optimal strategies},
 journal      = {Proceedings of the Royal Society of London A},
 volume       = {467},
 pages        = {1519--1545},
 doi          = {10.1098/rspa.2010.0471},
)
@article(lenses,
 author       = {J. Nathan Foster and Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt},
 year         = {2007},
 title        = {Combinators for Bidirectional Tree Transformations: A Linguistic Approach to the View-update Problem},
 journal      = {ACM Trans. Program. Lang. Syst.},
 volume       = {29},
 number       = {3},
 doi          = {10.1145/1232420.1232424},
)
@inproceedings(compositionalGames,
 author       = {Neil Ghani and Jules Hedges and Viktor Winschel and Philipp Zahn},
 year         = {2018},
 title        = {Compositional Game Theory},
 booktitle    = {Logic in Computer Science},
 series       = {LICS '18},
 pages        = {472--481},
 doi          = {10.1145/3209108.3209165},
)
@article(iteratedGames,
 author       = {Neil Ghani and Clemens Kupke and Alasdair Lambert and Nordvall Forsberg, Fredrik},
 year         = {2018},
 title        = {A compositional treatment of iterated open games},
 journal      = {Theor. Comput. Sci.},
 volume       = {741},
 pages        = {48--57},
 doi          = {10.1016/j.tcs.2018.05.026},
)
@incollection(giry,
 author       = {Michele Giry},
 year         = {1982},
 title        = {A categorical approach to probability theory},
 booktitle    = {Categorical aspects of topology and analysis},
 publisher    = {Springer},
 pages        = {68--85},
 doi          = {10.1007/BFb0092872},
)
@phdthesis(hedgesthesis,
 author       = {Jules Hedges},
 year         = {2016},
 title        = {Towards compositional game theory},
 school       = {Queen Mary University London},
)
@article(julesMorphisms,
 author       = {Jules Hedges},
 year         = {2018},
 title        = {Morphisms of Open Games},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {341},
 pages        = {151--177},
 doi          = {10.1016/j.entcs.2018.11.008},
)
@article(jacobsDoverview,
 author       = {Bart Jacobs},
 year         = {2018},
 title        = {From probability monads to commutative effectuses},
 journal      = {J. Log. Algebr. Meth. Program.},
 volume       = {94},
 pages        = {200--237},
 doi          = {10.1016/j.jlamp.2016.11.006},
)
@article(kupke2012lifting,
 author       = {Clemens Kupke and Alexander Kurz and Yde Venema},
 year         = {2012},
 title        = {Completeness for the coalgebraic cover modality},
 journal      = {Logical Methods in Computer Science},
 volume       = {8},
 number       = {3},
 doi          = {10.2168/LMCS-8(3:2)2012},
)
@book(gameTheory,
 author       = {Leyton-Brown, Kevin and Yoav Shoham},
 year         = {2008},
 title        = {Essentials of Game Theory: A Concise Multidisciplinary Introduction},
 publisher    = {Morgan and Claypool},
 doi          = {10.2200/S00108ED1V01Y200802AIM003},
)
@article(nash,
 author       = {John Nash},
 year         = {1951},
 title        = {Non-Cooperative Games},
 journal      = {Ann. Math.},
 volume       = {54},
 number       = {2},
 pages        = {286--295},
 doi          = {10.2307/1969529},
)
@article(siboboru:gene13,
 author       = {Alexandra Silva and Filippo Bonchi and Marcello Bonsangue and Jan Rutten},
 year         = {2013},
 title        = {Generalizing determinization from automata to coalgebras},
 journal      = {Logical Methods in Computer Science},
 volume       = {9},
 number       = {1},
 doi          = {10.2168/LMCS-9(1:9)2013},
)
@book(stackelbergTrans,
 author       = {Heinrich von Stackelberg},
 year         = {2011},
 title        = {Market structure and equilibrium},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-12586-7},
 note         = {Translation from the German language edition ``Marktform und Gleichgewicht'' (1934)},
)
@inproceedings(zwart2018noLaw,
 author       = {Maaike Zwart and Dan Marsden},
 year         = {2019},
 title        = {Don't Try This at Home: No-Go Theorems for Distributive Laws},
 booktitle    = {Logic in Computer Science},
 series       = {LICS '19},
 pages        = {1--13},
 doi          = {10.1109/LICS.2019.8785707},
)