Towards Optic-Based Algebraic Theories: The Case of Lenses | Publicación