1. Coleman D., Arnold P., Bodoff S., Dollin C., Gilchrist H., Hayes F., and Jeremaes P. (1994) Object-oriented Development: The FUSION Method. Prentice Hall Object-oriented Series.
2. Cook S. and Daniels J. (1994) Designing Object Systems: Object-Oriented Modelling with Syntropy. Prentice Hall.
3. Cusack E. and Wezeman C. (1992) Deriving tests for objects specified in Z. In J Nicholls, editor, Z User Meeting 1992, Workshops in Computing. Springer-Verlag.
4. Durr E., Duursma A., and Plat N. (1994) VDM++ language reference manual. Technical Report AFRO/CG/ED/LRM/V9.1, CAP Gemini Innovation.
5. Jones C. B. (1993) An object–based design method for concurrent programs. Technical Report UMCS92–12–1, Manchester University.