Springer
Lecture Notes in Computer Science
International Symposium on Formal Methods for Components and Objects
Computer Security

de Boer, F., Bonsangue, M., Steffen, M.& Abraham, E. (2004). A fully abstract semantics for UML Components. Proceedings of Formal Methods for Components and Objects 2004 (2), 49–69.