Blaise Genest Anca Muscholl Pattern Matching and Membership for Hierarchical Message Sequence Charts. 536-567 2008 42 Theory Comput. Syst. 4 http://dx.doi.org/10.1007/s00224-007-9054-1 db/journals/mst/mst42.html#GenestM08