1. TMM: Software maintenance by transformation;Arango;IEEE Software,1986
2. C Batini S. Ceri S.B Navathe Conceptual database design Benjamin/Cummings Redwood City, US, 1992.
3. A transformation system for developing recursive programs;Burstall;Journal of the ACM,1977
4. Semantics and Implementation of Schema Evolution in Object-Oriented Databases;Banerjee;SIGMOD Record (Proc. Conf. on Management of Data),1987
5. Data Refinement: Model-Oriented Proof Methods and their Comparison, volume 47 of Cambridge Tracts in Theoretical Computer Science;de Roever,1998