1. Baar, T.: How to ground Meta-Circular OCL descriptions—a Set-Theoretic approach. In: Clark, T., Evans, A., Lano, K. (eds.) ROOM 2002, The Fourth Workshop on Rigorous Object-Oriented Methods. King’s College, London (2002)
2. Bämer, D., et al.: Role object. In: Harrison, N., Rohnert, H. (eds.) Pattern Languages of Program Design. Addison-Wesley, Reading (2000)
3. Bidoit M., Hennicker R., Tort F. and Wirsing M. (1999). Correct realizations of interface constraints with OCL. In: France, R. and Rumpe, B. (eds) The UML—Beyond the Standard, Proceedings of 2nd International Conference on UML‘99, LNCS 1723, pp 399–415. Springer, Berlin
4. Bouhoula, A., Jouannaud, J.P., Meseguer, J.: Specification and Proof in Membership Equational Logic. TCS, 236(1–2), Elsevier, Amsterdam (2000)
5. Bruel, J.M., France, R.: Transforming UML models to formal specifications. In: Mueller, P.A., Bzivin, J. (eds) UML’98 Beyond the Notation, LNCS 1618, Springer, Heidelberg (1998)