@inproceedings(AhmanUustalu:2017:TakingUpdatesSeriously,
 url          = {http://ceur-ws.org/Vol-1827/},
)
@article(bancilhon:1981:updatesemanticsrelationalviews,
 doi          = {10.1145/319628.319634},
)
@article(Bednarczyk:1999:GeneralizedCongruences,
 url          = {http://www.tac.mta.ca/tac/volumes/1999/n11/5-11abs.html},
)
@article(bohm:2019:crossed-modules-monoids-relative,
 doi          = {10.1007/s10485-019-09570-0},
)
@misc(Clarke:2021:CategoryLens,
)
@inproceedings(Clarke:2020:InternalLensesAsFunctorsAndCofunctors,
 doi          = {10.4204/EPTCS.323.13},
)
@inproceedings(Clarke:2021:ADiagrammaticApproachToSymmetricLenses,
 doi          = {10.4204/EPTCS.333.6},
)
@article(diskin:2011:statetodeltabx,
 doi          = {10.5381/jot.2011.10.1.a6},
)
@proceedings(bx2017,
 url          = {http://ceur-ws.org/Vol-1827/},
)
@article(pierce:2007:combinatorsbidirectionaltreetransformations,
 doi          = {10.1145/1232420.1232424},
)
@article(FritschLatch:1981:HomotopyInversesForNerve,
 doi          = {10.1007/BF01214196},
)
@book(gibbons:2018:bidirectionaltransformations,
 doi          = {10.1007/978-3-319-79108-1},
)
@inproceedings(JohnsonRosebrugh:2015:SpansDeltaLenses,
 url          = {http://ceur-ws.org/Vol-1396/},
)
@inproceedings(JohnsonRosebrugh:2016:UnifyingSetBasedDeltaBasedEditBasedLenses,
 url          = {http://ceur-ws.org/Vol-1571/},
)
@inproceedings(JohnsonRosebrugh:2017:UniversalUpdatesForSymmetricLenses,
 url          = {http://ceur-ws.org/Vol-1827/},
)
@inproceedings(JohnsonRoseburgh:2021:TheMoreLegsTheMerrier,
 doi          = {10.4204/EPTCS.333.7},
)
@misc(bumpus:2021:spined-categories:-generalizing-tree-width,
)
@phdthesis(oles:1982:CategoryApproachSemanticsProgrammingLanguages,
 url          = {https://www.cs.cmu.edu/afs/cs.cmu.edu/project/fox-19/member/jcr/www/FrankOlesThesis.pdf},
)
@article(simpson:2018:category-theoretic-structure-for-independence,
 doi          = {10.1016/j.entcs.2018.03.028},
)
@proceedings(ACT2020,
 doi          = {10.4204/EPTCS.333},
)