Gibbons, Jeremy, and Michael Johnson. 2012. “Relating Algebraic and Coalgebraic Descriptions of Lenses”. Electronic Communications of the EASST 49 (July). https://doi.org/10.14279/tuj.eceasst.49.726.