1. Data refinement refined;He,1986
2. A single complete refinement rule for Z;Derrick;Journal of Logic and Computation,2000
3. Boiten, E., Derrick, J.: Incompleteness of relational simulations in the blocking paradigm. Draft (2008)
4. Reeves, S., Streader, D.: General refinement, part two: flexible refinement. Proceedings of Refine 2008, Electronic Notes in Theoretical Computer Science (2008)
5. Reeves, S., Streader, D.: State-based and event-based refinement: reconciling differences. Technical report, University of Waikato (2008) In http://researchcommons.waikato.ac.nz/cms