Piotr Kosiuczenko Formal Semantics of Basic Message Sequence Charts: an Algebraic Approach. 135-144 1997 conf/fbt/1997 FBT db/conf/fbt/fbt1997.html#Kosiuczenko97