1. Gamma, E., Helm, R., Johnson, R.E., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Edition, Reading, MA (1994)
2. Port, D.: Derivation of Domain Specific Design Patterns. USC Center for Software Engineering, Los Angeles, CA (1998)
3. OMG: UML 2.0 OCL specification (2003)
4. Eden, A.H., Gil, J., Hirshfeld, Y., Yehudai, A.: Towards a mathematical foundation for design patterns. Technical Report, Dept. of information technology, U. Uppsala (1999)
5. Mikkonen, T.: Formalizing design patterns. In: Proceedings of the 20th International Conference on Software Engineering—ICSE, pp. 115–124 (1998)