Jeremy Gibbons, Michael Johnson
Relating Algebraic and Coalgebraic Descriptions of Lenses
BX, 2012.
@article{BX-2012-GibbonsJ,
author = "Jeremy Gibbons and Michael Johnson",
ee = "http://journal.ub.tu-berlin.de/eceasst/article/view/726",
journal = "{Electronic Communications of the EASST}",
pages = "5--20",
title = "{Relating Algebraic and Coalgebraic Descriptions of Lenses}",
volume = 49,
year = 2012,
}