@inproceedings{colens,
  title = "Relating Algebraic and Coalgebraic Descriptions of Lenses",
  author = "Jeremy Gibbons and Mike Johnson",
  year = "2012",
  booktitle = "First International Workshop on Bidirectional Transformations (BX 2012)",
  month = "March",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/colens.pdf",
}