@inproceedings{repo,
  title = "Towards a Repository of BX Examples",
  author = "James Cheney and James McKinna and Perdita Stevens and Jeremy Gibbons",
  year = "2014",
  booktitle = "BX Workshop",
  month = "March",
  url = "http://ceur-ws.org/Vol-1133/paper-14.pdf",
}