@phdthesis(Agu97,
 author       = {Marcelo Aguiar},
 year         = {1997},
 title        = {Internal Categories and Quantum Groups},
 school       = {Cornell University},
 url          = {http://pi.math.cornell.edu/~maguiar/thesis2.pdf},
)
@inproceedings(AU17,
 author       = {Danel Ahman and Tarmo Uustalu},
 year         = {2017},
 title        = {Taking Updates Seriously},
 booktitle    = {Proceedings of the Sixth International Workshop on Bidirectional Transformations},
 url          = {http://ceur-ws.org/Vol-1827/paper11.pdf},
)
@inproceedings(Cla19,
 author       = {Bryce Clarke},
 year         = {2020},
 title        = {Internal lenses as functors and cofunctors},
 booktitle    = {Applied Category Theory 2019},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 note         = {(to appear)},
)
@misc(Cla20,
 author       = {Bryce Clarke},
 year         = {2020},
 title        = {Internal split opfibrations and cofunctors},
 url          = {https://arxiv.org/abs/2004.00187},
)
@article(DXC11,
 author       = {Zinovy Diskin and Yingfei Xiong and Krzysztof Czarnecki},
 year         = {2011},
 title        = {From State- to Delta-Based Bidirectional Model Transformations: The Asymmetric Case},
 journal      = {Journal of Object Technology},
 doi          = {10.5381/jot.2011.10.1.a6},
)
@inproceedings(DXCEHO11,
 author       = {Zinovy Diskin and Yingfei Xiong and Krzysztof Czarnecki and Hartmut Ehrig and Frank Hermann and Fernando Orejas},
 year         = {2011},
 title        = {From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case},
 booktitle    = {Model Driven Engineering Languages and Systems},
 doi          = {10.1007/978-3-642-24485-8_22},
)
@article(FGMPS07,
 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 Transactions on Programming Languages and Systems},
 doi          = {10.1145/1232420.1232424},
)
@article(HM93,
 author       = {Philip J. Higgins and Kirill C. H. Mackenzie},
 year         = {1993},
 title        = {Duality for base-changing morphisms of vector bundles, modules, Lie algebroids and Poisson structures},
 journal      = {Mathematical Proceedings of the Cambridge Philosophical Society},
 doi          = {10.1017/S0305004100071760},
)
@article(HPW11,
 author       = {Martin Hofmann and Benjamin Pierce and Daniel Wagner},
 year         = {2011},
 title        = {Symmetric Lenses},
 journal      = {ACM SIGPLAN Notices},
 doi          = {10.1145/1925844.1926428},
)
@inproceedings(JR19,
 author       = {Michael Johnson and Fran{\c c}ois Renaud},
 year         = {2019},
 title        = {Symmetric c-Lenses and Symmetric d-Lenses are Not Coextensive},
 booktitle    = {Proceedings of the 8th International Workshop on Bidirectional Transformations},
 url          = {http://ceur-ws.org/Vol-2355/paper7.pdf},
)
@inproceedings(JR13,
 author       = {Michael Johnson and Robert Rosebrugh},
 year         = {2013},
 title        = {Delta Lenses and Opfibrations},
 booktitle    = {Proceedings of the Second International Workshop on Bidirectional Transformations},
 doi          = {10.14279/tuj.eceasst.57.875},
)
@inproceedings(JR14,
 author       = {Michael Johnson and Robert Rosebrugh},
 year         = {2014},
 title        = {Spans of lenses},
 booktitle    = {Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference},
 url          = {http://ceur-ws.org/Vol-1133/paper-18.pdf},
)
@inproceedings(JR15,
 author       = {Michael Johnson and Robert Rosebrugh},
 year         = {2015},
 title        = {Spans of Delta Lenses},
 booktitle    = {Proceedings of the Fourth International Workshop on Bidirectional Transformations},
 url          = {http://ceur-ws.org/Vol-1396/p1-johnson.pdf},
)
@inproceedings(JR16,
 author       = {Michael Johnson and Robert Rosebrugh},
 year         = {2016},
 title        = {Unifying Set-Based, Delta-Based and Edit-Based Lenses},
 booktitle    = {Proceedings of the Fifth International Workshop on Bidirectional Transformations},
 url          = {http://ceur-ws.org/Vol-1571/paper_13.pdf},
)
@article(JR17art,
 author       = {Michael Johnson and Robert Rosebrugh},
 year         = {2017},
 title        = {Symmetric delta lenses and spans of asymmetric delta lenses},
 journal      = {Journal of Object Technology},
 doi          = {10.5381/jot.2017.16.1.a2},
)
@inproceedings(JR17pro,
 author       = {Michael Johnson and Robert Rosebrugh},
 year         = {2017},
 title        = {Universal Updates for Symmetric Lenses},
 booktitle    = {Proceedings of the Sixth International Workshop on Bidirectional Transformations},
 url          = {http://ceur-ws.org/Vol-1827/paper8.pdf},
)
@article(LS02,
 author       = {Stephen Lack and Ross Street},
 year         = {2002},
 title        = {The formal theory of monads {II}},
 journal      = {Journal of Pure and Applied Algebra},
 doi          = {10.1016/0022-4049(72)90019-9},
)
@article(Par12,
 author       = {Robert Par\'{e}},
 year         = {2012},
 title        = {Mealy Morphisms of Enriched Categories},
 journal      = {Applied Categorical Structures},
 doi          = {10.1007/s10485-010-9238-8},
)
@article(Str20,
 author       = {Ross Street},
 year         = {2020},
 title        = {Polynomials as spans},
 journal      = {Cahiers de Topologie et G\'{e}om\'{e}trie Diff\'{e}rentielle Cat\'{e}goriques},
 volume       = {LXI},
 number       = {2},
 pages        = {113--153},
)