Gibbons, J. and Johnson, M. (2012) “Relating Algebraic and Coalgebraic Descriptions of Lenses”, Electronic Communications of the EASST, 49. doi: 10.14279/tuj.eceasst.49.726.