Gibbons, J.; Johnson, M. Relating Algebraic and Coalgebraic Descriptions of Lenses. eceasst 2012, 49.