@inproceedings{colens,
  title = "Relating Algebraic and Coalgebraic Descriptions of Lenses",
  author = "Jeremy Gibbons and Mike Johnson",
  year = "2012",
  journal = "Electronic Communications of the EASST",
  url = "http://journal.ub.tu-berlin.de/eceasst/article/download/726/742",
  volume = "49 (Bidirectional Transformations 2012)",
}