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