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. In Proceedings of Formal Methods for Components and Objects 2004 (2) (pp. 49–69). Springer.