1. Refinement in Z and Object-Z;Derrick,2001
2. Data Refinement: Model-Oriented Proof Methods and their Comparison;de Roever,1998
3. Evolution: a more practical approach than refinement for software development;Liu,1997
4. A formal approach to model refactoring and model refinement;Straeten;Software and Systems Modeling,2007
5. Automated traceability analysis for UML model refinements;Briand;Inf. Softw. Technol.,2009