@misc(Cen16,
 author       = {Andrea Censi},
 year         = {2016},
 title        = {A Mathematical Theory of Co-Design},
 url          = {https://arxiv.org/abs/1512.08055v7},
)
@inproceedings(Cla20b,
 author       = {Bryce Clarke},
 year         = {2020},
 title        = {Internal lenses as functors and cofunctors},
 booktitle    = {Applied Category Theory 2019},
 volume       = {323},
 pages        = {183--195},
 doi          = {10.4204/EPTCS.323.13},
)
@article(Cla20,
 author       = {Bryce Clarke},
 year         = {2020},
 title        = {Internal split opfibrations and cofunctors},
 journal      = {Theory and Applications of Categories},
 volume       = {35},
 number       = {44},
 url          = {http://www.tac.mta.ca/tac/volumes/35/44/35-44abs.html},
)
@misc(MattACT21,
 author       = {{Di Meglio}, Matthew},
 year         = {2021},
 title        = {Coequalisers under the lens},
 howpublished = {To appear in Applied Category Theory 2021},
)
@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},
 volume       = {10},
 doi          = {10.5381/jot.2011.10.1.a6},
)
@book(FS19,
 author       = {Brendan Fong and David I. Spivak},
 year         = {2019},
 title        = {An Invitation to Applied Category Theory: Seven Sketches in Compositionality},
 publisher    = {Cambridge University Press},
 address      = {Cambridge},
 doi          = {10.1017/9781108668804},
)
@inproceedings(JR16,
 author       = {Michael Johnson and Robert Rosebrugh},
 year         = {2016},
 title        = {Unifying Set-Based, Delta-Based and Edit-Based Lenses},
 booktitle    = {Proceedings of the 5th International Workshop on Bidirectional Transformations},
 series       = {CEUR Workshop Proceedings},
 volume       = {1571},
 pages        = {1--13},
 url          = {http://ceur-ws.org/Vol-1571/paper_13.pdf},
)
@article(JR17,
 author       = {Michael Johnson and Robert Rosebrugh},
 year         = {2017},
 title        = {Symmetric delta lenses and spans of asymmetric delta lenses},
 journal      = {Journal of Object Technology},
 volume       = {16},
 number       = {1},
 doi          = {10.5381/jot.2017.16.1.a2},
)
@inproceedings(JR21,
 author       = {Michael Johnson and Robert Rosebrugh},
 year         = {2021},
 title        = {The more legs the merrier: A new composition for symmetric (multi-)lenses},
 booktitle    = {Applied Category Theory 2020},
 volume       = {333},
 pages        = {92--107},
 doi          = {10.4204/EPTCS.333.7},
)
@article(JRW12,
 author       = {Michael Johnson and Robert Rosebrugh and R. J. Wood},
 year         = {2012},
 title        = {Lenses, fibrations and universal translations},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {22},
 number       = {1},
 doi          = {10.1017/S0960129511000442},
)
@phdthesis(Ole82,
 author       = {Frank J. Oles},
 year         = {1982},
 title        = {A category-theoretic approach to the semantics of programming languages},
 school       = {Syracuse University},
 url          = {https://www.cs.cmu.edu/afs/cs.cmu.edu/project/fox-19/member/jcr/www/FrankOlesThesis.pdf},
)
@misc(PS03,
 author       = {Benjamin C. Pierce and Alan Schmitt},
 year         = {2003},
 title        = {Lenses and view update translation},
 howpublished = {Preprint},
 url          = {https://www.cis.upenn.edu/~bcpierce/papers/dblenses.pdf},
)
@inproceedings(ZCF21,
 author       = {Gioele Zardini and Andrea Censi and Emilio Frazzoli},
 year         = {2021},
 title        = {Co-Design of Autonomous Systems: From Hardware Selection to Control Synthesis},
 booktitle    = {2021 20th European Control Conference (ECC)},
 organization = {IEEE},
 doi          = {10.23919/ECC54610.2021.9654960},
)
@inproceedings(ZLSCFP20,
 author       = {Gioele Zardini and Nicolas Lanzetti and Mauro Salazar and Andrea Censi and Emilio Frazzoli and Marco Pavone},
 year         = {2020},
 title        = {{On the Co-Design of AV-Enabled Mobility Systems}},
 booktitle    = {2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC)},
 pages        = {1--8},
 doi          = {10.1109/ITSC45102.2020.9294499},
)
@inproceedings(ZMCF21,
 author       = {Gioele Zardini and Dejan Milojevic and Andrea Censi and Emilio Frazzoli},
 year         = {2021},
 title        = {Co-Design of Embodied Intelligence: A Structured Approach},
 booktitle    = {2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},
 organization = {IEEE},
 doi          = {10.1109/IROS51168.2021.9636513},
)