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