@article{Ko-pcOrn,
  title = "Modularising inductive families",
  author = "Hsiang-Shang Ko and Jeremy Gibbons",
  year = "2013",
  journal = "Progress in Informatics",
  number = "10",
  pages = "65-88",
  url = "http://www.cs.ox.ac.uk/people/hsiang-shang.ko/pcOrn/pcOrn.pdf",
  doi = "10.2201/NiiPi.2013.10.5",
}