@article{Genest_2007,
    doi = {10.1007/s00224-007-9054-1},
    url = {https://doi.org/10.1007%2Fs00224-007-9054-1},
    year = {2007},
    month = {oct},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {42},
    number = {4},
    pages = {536--567},
    author = {Blaise Genest and Anca Muscholl},
    title = {Pattern Matching and Membership for Hierarchical Message Sequence Charts},
    journal = {Theory of Computing Systems}
}

@article{Genest_2007, doi = {10.1007/s00224-007-9054-1}, url = {https://doi.org/10.1007%2Fs00224-007-9054-1}, year = {2007}, month = {oct}, publisher = {Springer Science and Business Media {LLC}}, volume = {42}, number = {4}, pages = {536--567}, author = {Blaise Genest and Anca Muscholl}, title = {Pattern Matching and Membership for Hierarchical Message Sequence Charts}, journal = {Theory of Computing Systems} }