1. R.J.R. Back. Correctness Preserving Program Refinements: Proof Theory and Applications. Tract 131, Mathematisch Centrum, Amsterdam, 1980
2. Program Derivation Using the Refinement Calculator;Butler,1996
3. Refinement Concepts Formalised in Higher Order Logic;Back;Formal Aspects of Computing,1990
4. A Program Refinement Tool;Carrington;Formal Aspects of Computing,1998
5. S.L. Coutinho, T.P.C. Reis, and A.L.C. Cavalcanti. A Tool for Teaching Refinement. In 13th Brazilian Symposium on Software Engineering, pages 61–64, 1999. Tool Session. In Portuguese