1. M Abadi and L Cardelli, An Imperative Object Calulus, TAPSOFT '95, Mosses, Nielsen and Schwartzbach (Eds), Springer-Verlag, LNCS 915, 1995.
2. Maher Awad, Juha Kuusela and Jurgen Ziegler. Object-Oriented Technology for Real-Time Systems: A Practical Approach Using OMT and Fusion. Prentice Hall, Upper Saddle River, NJ, March 1996.
3. Towards a Compositional Interpretation of Object Diagrams. J.C. Bicarregui, K.C. Lano and T.S.E. Maibaum. To appear: Proc. of IFIP TC2 Working Conference on Algorithmic Languages and Calculi, Strasbourg, February, 1997.
4. Coleman D. et al, Object-oriented Development: The FUSION Method. Prentice Hall Object-oriented Series, 1994.
5. Cook and Daniels, Designing Object Systems with Syntropy, Prentice Hall, 1994.