@inproceedings{Creager_and_Simpson_2006a,
  title = "Towards a fully generic theory of data",
  author = "Creager, D.~A. and Simpson, A.~C.",
  year = "2006",
  booktitle = "Proceedings of the 8th International Conference on Formal Engineering Methods ({ICFEM} 2006)",
  pages = "304--323",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4260",
}