Xiaoshan Li, Zhiming Liu, Jifeng He. A Formal Semantics of UML Sequence Diagram. In 15th Australian Software Engineering Conference (ASWEC 2004), 13-16 April 2004, Melbourne, Australia. pages 168-177, IEEE Computer Society, 2004. [doi]
Abstract is missing.