Towards a fully generic theory of data (Formal Methods and Software Engineering, Proceedings, 2006)

(untitled) - Creager, D; Simpson, A