1. Andries, M., Engels, G., Rekers, J.: How to represent a visual specification. In: Marriott, K., Meyer, B. (eds.) Visual Language Theory, pp. 241–255. Springer, Heidelberg (1997)
2. Baresi, L.: Formal customization of graphical notations. PhD thesis, Dipartimento di Elettronica e Informazione – Politecnico di Milano (1997) (in Italian)
3. Baresi, L., Heckel, R., Thone, S., Varro, D.: Modeling and validation of serviceoriented architectures: application vs. style. In: Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering, pp. 68–77. ACM Press, New York (2003)
4. Baresi, L., Orso, A., Pezzè, M.: Introducing formal methods in industrial practice. In: Proceedings of the 20th International Conference on Software Engineering, pp. 56–66. ACM Press, New York (1997)
5. Lecture Notes in Computer Science;L. Baresi,2002