1. R.J.R. Back, Procedural Abstraction in the refinement calculus, Technical Report, Ser. A, vol. 55, Department of Computer Science, Åbo, Finland, 1987
2. Representation independence, confinement and access control;Banerjee,2001
3. Object-preserving class transformations;Bergstein,1991
4. Algebra of Programming;Bird,1997
5. The Unified Modeling Language User Guide;Booch,1999