Towards a fully generic theory of data (Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM 2006), 2006)

(untitled) - Creager, D; Simpson, A