Towards a fully generic theory of data - Creager, D; Simpson, A (Formal Methods and Software Engineering, Proceedings, 2006)