Thomas Gehrke Michaela Huhn Arend Rensink Heike Wehrheim An Algebraic Semantics for Message Sequence Chart Documents. 3-18 1998 conf/forte/1998 FORTE db/conf/forte/forte1998.html#GehrkeHRW98