1. de Roever, W., Engelhardt, K.: Data Refinement: Model-Oriented Proof Methods and their Comparison, Cambridge (2001)
2. Morgan, C.: The specification statement. ACM Transactions on Programming Languages and Systems 10, 403–419 (1988)
3. Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture: A System of Patterns. John Wiley & Sons, Chichester (1996)
4. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)
5. Sunyé, G., Guennec, A.L., Jézéquel, J.: Design patterns application in UML. In: The 14th European Conference on Object-Oriented Programming, pp. 44–62. Springer, Heidelberg (2000)