1. Aliprand, J., Allen, J., Becker, J., Davis, M., Everson, M., Freytag, A., Jenkins, J., Ksar, M., McGowan, R., Moore, L., Suignard, M., Whistler, K., The Unicode Standard, Version 3.0. Addison Wesley Longman Publisher, 2000.
2. Boger, M., Baier, T., Wienberg, F., Extreme Modeling, In: XP’2000 conference proceedings, Ed. Michele Marchesi (to appear), Addison-Wesley, 2001.
3. Broy, M., Facchi, C., Grosu, R., Hettler, R., Hussmann, H., Nazareth, D., Regensburger, F., Slotosch, O., Stolen K., The Requirement and Design Specification Language SPECTRUM. An Informal Introduction. Version 1.0. Part ii. Technical Report TUM-I9312, Technische Universität München. Institut für Informatik, TUM, München, Germany, May 1993.
4. Church A, A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56–68, 1940.
5. Cook, S., Kleppe, A., Mitchell, R., Rumpe, B., Warmer, J., Wills, A., The Amsterdam Manifesto on OCL, Technical Report, Technische Universität München, Computer Science, 1999.