1. R.D. Arthan, P. Caseley, Colin O’Halloran, A. Smith, Clawz: Control Laws in Z, in: ICFEM, 2000, pp. 169–176.
2. Refinement concepts formalised in higher order logic;Back;Formal Aspects of Computing,1990
3. The refinement calculator: proof support for program refinement;Butler,1997
4. A program refinement tool;Carrington;Formal Aspects of Computing,1998
5. David Carrington, Ian Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh, A review of existing refinement tools, Technical Report 94-8, Software Verification Research Centre, The University of Queensland, 1994.