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