1. J. Araujo, Metamorphosis: An Integrated Object-Oriented Requirements Analysis and Specification Method. PhD thesis Lancaster University 1996,
ftp://ftp.comp.lancs.ac.uk/pub/reports/ThesisJA.ps.Z
2. G. Booch, Object-oriented analysis and design with applications, Benjamin/Cummings, 1994.
3. J. S. Dong and R. Duke. The Geometry of Object Containment, Object-Oriented Systems, vol. 2(1), pp. 41–63, Chapman & Hall, 1995.
4. R. Duke, G. Rose, and G. Smith. Object-Z: A specification language advocated for the description of standards, Computer standards & Interfaces, vol. 17, pp. 511–533, 1995.
5. technical report;S. Dupuy,1997