1. Object Technology Series;J. Rumbaugh,2005
2. Lecture Notes in Computer Science;F. Fondement,2005
3. Detlefs, D.L., Nelson, G., Saxe, J.: Simplify: the ESC theorem prover. Technical report, DEC (1996)
4. OMG. Unified Modeling Language: Diagram interchange version 2.0. Convenience Document ptc/05-06-04 (June 2005)
5. Costagliola, G., De Lucia, A., Orefice, S., Polese, G.: A classification framework to support the design of visual languages. Journal of Visual Languages and Computing 13(6), 573–600 (2002)