1. Alencar, A.J. and J. Goguen (1991), “OOZE: An Object-Oriented Z Environment”, InProceedings of the European Conference on Object Oriented Programming, Springer-Verlag, Berlin, Germany, pp. 180–199.
2. Booch, G. (1994).Object-Oriented Analysis and Design with Applications, Benjamin Cummings, Redwood City, CA.
3. Carrington, D. (1989), “Object-Z: an Object-Oriented Extension to Z”, InProceedings of the Conference on Formal Description Techniques, Springer-Verlag, Berlin, Germany, pp. 203–256.
4. Coad, P. and E. Yourdon (1991),Object-Oriented Analysis, Yourdon Press/Prentice-Hall, Englewood Cliffs, NJ.
5. Coleman, D., P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes and P. Jeremaes (1994),Object-Oriented Development — The Fusion Method, Prentice-Hall, Englewood Cliffs, NJ.