J. Gibbons and M. Johnson, “Relating Algebraic and Coalgebraic Descriptions of Lenses”, eceasst, vol. 49, Jul. 2012.