文档操作
Jiang Yanbing, Shao Weizhong, Ma Zhiyi, and Feng Yaodong (2002)
On the Formalized Semantics of Static Modeling Elements in UML
In: Formal Methods And Software Engineering 2002, Procedings Lecture Notes In Computer Science, Springer Verlag, Berlin, GERMANY.
