@inproceedings{Creager_and_Simpson_2006a,
  title = "Towards a fully generic theory of data",
  author = "D. Creager and A. C. Simpson",
  year = "2006",
  booktitle = "Proceedings of {ICFEM} 2006",
  pages = "304--323",
  publisher = "Springer-Verlag Lecture Notes in Computer Science, volume 4260",
}