1. G. v. Bochmann, M. Barbeau, M. Erradi, L. Lecomte, P. Mondain-Monval, and N. Williams. Mondel: An Object-Oriented Specification Language. Département d'Informatique et de Recherche Opérationelle, Publication 748, Université de Montréal, 1990.
2. M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hussmann, D. Nazareth, F. Regensburger, O. Slotosch, and K. Stølen. The Requirement and Design Specification Language SPECTRUM — An Informal Introduction (Version 1.0). Technical Report TUM 19311-12, TU München, 1993.
3. LNCS 1241;R. Breu,1997
4. G. Booch, I. Jacobson, and J. Rumbaugh.UML Summay (Version 1.0). Rational Corporation, Santa Clara, 1997. http://www.rational.com.
5. S. Conrad, M. Gogolla, and R. Herzig. Safe Derivations in Object Hierarchies. In D. Patel, Y. Sun, and S. Patel, editors, Int. Conf. Object-Oriented Information Systems (OOIS'94), pages 306–319. Springer, London, 1995.