Bard Bloom Wan Fokkink Rob J. van Glabbeek http://arxiv.org/abs/cs.LO/0204039 2002 CoRR cs.LO/0204039 db/journals/corr/corr0204.html#cs-LO-0204039 informal publication