Semantics of Message Sequence Charts. - Alexander A. Letichevsky; Julia V. Kapitonova; Vsevolod Kotlyarov; Vladislav A. Volkov; A. A. Letichevsky Jr.; Thomas Weigert (SDL Forum, 2005)

Basic protocols, message sequence charts, and the verification of requirements specifications. - Alexander A. Letichevsky; Julia V. Kapitonova; A. A. Letichevsky Jr.; Vladislav A. Volkov; Sergey Baranov; Thomas Weigert (Comput. Networks, 2005)