Bard Bloom Wan Fokkink Rob J. van Glabbeek Precongruence formats for decorated trace semantics. 26-78 2004 5 ACM Trans. Comput. Log. 1 http://doi.acm.org/10.1145/963927.963929 db/journals/tocl/tocl5.html#BloomFG04