Zinovy Diskin Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML. 112-115 2002 conf/diagrams/2002 Diagrams http://dx.doi.org/10.1007/3-540-46037-3_15 db/conf/diagrams/diagrams2002.html#Diskin02