@inproceedings{Ko-algOrn,
  title = "Relational algebraic ornaments",
  author = "Hsiang-Shang Ko and Jeremy Gibbons",
  year = "2013",
  booktitle = "Dependently Typed Programming",
  publisher = "ACM",
  series = "DTP'13",
  url = "http://www.cs.ox.ac.uk/people/hsiang-shang.ko/algOrn/algOrn.pdf",
  doi = "10.1145/2502409.2502413",
}