@InProceedings{Brotherston-Villard:14,
  author    = "James Brotherston and Jules Villard",
  title     = "Parametric Completeness for Separation Theories",
  booktitle = "Proceedings of {POPL-41}",
  pages     = "453--464",
  publisher = "ACM",
  year      = 2014
}